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