1# ==============================================================
2# Makefile for the BuDDy package
3# - Edit the lines below to configure
4# ==============================================================
5
6# --- Your compiler flags
7CFLAGS = -g -ansi -Wmissing-prototypes -Wall -fPIC
8
9# --- Where to install the library (directory, no trailing slash)
10LIBDIR = /usr/local/lib
11
12# --- Where to install the include file (directory, no trailing slash)
13INCDIR = /usr/local/include
14
15# --- Your C compiler
16CC = gcc
17
18# --- Your C++ compiler
19CPP = g++
20
21# Some machines are missing "CLOCKS_PER_SEC". Please define a default value
22# If you do not know this, then leave it as it is.
23CLOCK=60
24
25CLOCKFLAG = -DDEFAULT_CLOCK=$(CLOCK)
26
27# Debugging and statistical flags. Possible values are:
28# -DSWAPCOUNT  :  Count number of fundamental variable swaps
29# -DCACHESTATS :  Gather statistical information about operator and
30#                 unique node caching
31DEBUGFLAGS =
32
33# Some of the BuDDy library needs 64 bit arithmetics.
34# With gnu C++, Microsoft C++ and KAI C++ this is part of the
35# language and used by BuDDy. With other compilers BuDDy need
36# to implement the math it self -- which is a bit slower. If
37# you now of a 64 bit unsigned integer type on your platform
38# then define that in the BUDDYUINT64 variable. Example:
39# BUDDYUINT64 = -DBUDDYUINT64="long long"
40
41
42# --------------------------------------------------------------
43# Do not touch 
44# --------------------------------------------------------------
45DFLAGS = $(CLOCKFLAG) $(DEBUGFLAGS) $(BUDDYUINT64)
46
47