Revision e9350b02
Added by Xavier Thirioux almost 8 years ago
| Makefile.in | ||
|---|---|---|
| 3 | 3 |
prefix=@prefix@ |
| 4 | 4 |
exec_prefix=@exec_prefix@ |
| 5 | 5 |
bindir=@bindir@ |
| 6 |
datarootdir = ${prefix}/share
|
|
| 6 |
datadir = ${prefix}/share
|
|
| 7 | 7 |
includedir = ${prefix}/include
|
| 8 | 8 |
|
| 9 | 9 |
LUSI_LIBS=include/math.lusi include/conv.lusi |
| ... | ... | |
| 12 | 12 |
|
| 13 | 13 |
lustrec: |
| 14 | 14 |
@echo Compiling binary lustrec |
| 15 |
@$(OCAMLBUILD) src/main_lustre_compiler.native |
|
| 15 |
@$(OCAMLBUILD) -cflags -I,@OCAMLGRAPH_PATH@ -lflag @OCAMLGRAPH_PATH@/graph.cmxa -I src -I src/backends/C src/main_lustre_compiler.native
|
|
| 16 | 16 |
@mkdir -p $(LOCAL_BINDIR) |
| 17 | 17 |
@mv _build/src/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec |
| 18 | 18 |
|
Also available in: Unified diff
corrected various bugs in the compilation/installation Makefile.in.