Makefile.show_luc 1 KB
Newer Older
1 2 3
#
# Make file for show_luc (to display env files with dot)
#
4

5
-include ../Makefile.common
6 7 8 9

######################################################################
OCAMLMAKEFILE = $(LURETTE_PATH)/OcamlMakefile

10
OCAMLNCFLAGS =  -inline 10  -linkall
11 12

LIBS = str
13
CLIBS = 
14 15 16 17 18 19

USE_CAMLP4 = yes


SOURCES_OCAML = \
          $(LURETTE_PATH)/source/util.ml \
20
          $(LURETTE_PATH)/source/prevar.mli $(LURETTE_PATH)/source/prevar.ml \
21
	  $(LURETTE_PATH)/source/value.mli $(LURETTE_PATH)/source/value.ml \
22 23
          $(LURETTE_PATH)/source/graph.mli $(LURETTE_PATH)/source/graph.ml \
          $(LURETTE_PATH)/source/formula.mli $(LURETTE_PATH)/source/formula.ml \
24
          $(LURETTE_PATH)/source/control.mli $(LURETTE_PATH)/source/control.ml \
25 26
          $(LURETTE_PATH)/source/parse_env.mli $(LURETTE_PATH)/source/parse_env.ml \
          $(LURETTE_PATH)/source/show_env.mli $(LURETTE_PATH)/source/show_env.ml \
27
          $(LURETTE_PATH)/source/show_luc.ml
28 29 30

SOURCES = $(SOURCES_OCAML)

31
RESULT  = show_luc
32

33

34 35
-include $(OCAMLMAKEFILE)