Makefile.lurette_lib 1.91 KB
Newer Older
1
#
2
# Makefile for lurette
3 4
#

5
-include ../Makefile.common
6 7

######################################################################
8

9
OCAMLNCFLAGS =  -inline 10 -linkall
10
ifndef OCAMLFLAGS
11
  OCAMLFLAGS := -noassert -unsafe
12 13
endif

14 15 16 17 18
CC=gcc #g++

LIBS = str nums polka
CLIBS = cudd_caml cuddaux cudd polkai_caml polkai gmp camlidl mtr st epd util
# CLIBS = cudd_caml cuddaux cudd polkag_caml david_polkag parme gmpxx camlidl mtr st epd util
19 20

USE_CAMLP4 = yes
21
STATIC = yes
22 23 24 25


SOURCES = \
	$(LURETTE_PATH)/source/util.ml \
26
	$(LURETTE_PATH)/source/prevar.mli $(LURETTE_PATH)/source/prevar.ml \
27 28
	$(LURETTE_PATH)/source/graph.mli $(LURETTE_PATH)/source/graph.ml \
	$(LURETTE_PATH)/source/command_line.mli $(LURETTE_PATH)/source/command_line.ml \
29 30
	$(LURETTE_PATH)/source/value.mli $(LURETTE_PATH)/source/value.ml \
	$(LURETTE_PATH)/source/ne.mli $(LURETTE_PATH)/source/ne.ml \
31
	$(LURETTE_PATH)/source/constraint.mli $(LURETTE_PATH)/source/constraint.ml \
32 33 34 35
	$(LURETTE_PATH)/source/formula.mli $(LURETTE_PATH)/source/formula.ml \
	$(LURETTE_PATH)/source/gne.mli $(LURETTE_PATH)/source/gne.ml \
	$(LURETTE_PATH)/source/control.mli $(LURETTE_PATH)/source/control.ml \
	$(LURETTE_PATH)/source/parse_env.mli $(LURETTE_PATH)/source/parse_env.ml \
36
	$(LURETTE_PATH)/source/polyhedron.mli $(LURETTE_PATH)/source/polyhedron.ml \
37
	$(LURETTE_PATH)/source/store.mli $(LURETTE_PATH)/source/store.ml  \
38
	$(LURETTE_PATH)/source/env_state.mli $(LURETTE_PATH)/source/env_state.ml \
39 40 41 42 43 44 45 46 47
	$(LURETTE_PATH)/source/solver.mli $(LURETTE_PATH)/source/solver.ml \
	$(LURETTE_PATH)/source/show_env.mli $(LURETTE_PATH)/source/show_env.ml \
	$(LURETTE_PATH)/source/automata.mli $(LURETTE_PATH)/source/automata.ml  \
	$(LURETTE_PATH)/source/print.mli $(LURETTE_PATH)/source/print.ml \
	$(LURETTE_PATH)/source/sim2chro.mli $(LURETTE_PATH)/source/sim2chro.ml \
	$(LURETTE_PATH)/source/env.mli $(LURETTE_PATH)/source/env.ml


RESULT  = lurette_lib
48

49
all: ncl bcl
50

51

52 53
install: libinstall

54 55
-include $(OCAMLMAKEFILE)