Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Makefile.lucky 2.53 KB
Newer Older
1
#
2
# Makefile for lucky
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
19
20
CC=gcc #g++

POLKA_CLIB = polkag_caml polkag gmp
#POLKA_CLIB =   polkag_caml david_polkag_print parme gmpxx

LIBS = str nums polka cudd
CLIBS = cudd_caml cuddaux cudd $(POLKA_CLIB) camlidl mtr st epd util
21
22

USE_CAMLP4 = yes
23
STATIC = yes
24

25
26

SOURCES_OCAML = \
27
28
          $(LURETTE_PATH)/polka/caml/polkaIO.mli \
          $(LURETTE_PATH)/polka/caml/polkaIO.ml \
29
          $(LURETTE_PATH)/source/util.ml \
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
          $(LURETTE_PATH)/source/graph.mli  \
          $(LURETTE_PATH)/source/graph.ml \
          $(LURETTE_PATH)/source/prevar.mli  \
          $(LURETTE_PATH)/source/prevar.ml \
          $(LURETTE_PATH)/source/command_line_luc_exe.mli  \
          $(LURETTE_PATH)/source/command_line_luc_exe.ml \
	  $(LURETTE_PATH)/source/value.mli  \
          $(LURETTE_PATH)/source/value.ml \
	  $(LURETTE_PATH)/source/ne.mli  \
          $(LURETTE_PATH)/source/ne.ml \
	  $(LURETTE_PATH)/source/constraint.mli  \
          $(LURETTE_PATH)/source/constraint.ml \
          $(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 \
	  $(LURETTE_PATH)/source/pnumsolver.mli  \
          $(LURETTE_PATH)/source/pnumsolver.ml  \
          $(LURETTE_PATH)/source/rnumsolver.mli  \
          $(LURETTE_PATH)/source/rnumsolver.ml  \
          $(LURETTE_PATH)/source/env_state.mli  \
          $(LURETTE_PATH)/source/env_state.ml \
          $(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 \
          $(LURETTE_PATH)/source/luc_exe.mli  \
          $(LURETTE_PATH)/source/luc_exe.ml
70
71
72
73
74


SOURCES = $(SOURCES_C) \
          $(SOURCES_OCAML)

75
RESULT  = lucky
76
77

-include $(OCAMLMAKEFILE)
78
79