Revision e8b6d5ca
Added by Pierre-Loïc Garoche over 7 years ago
| Makefile.in | ||
|---|---|---|
| 12 | 12 |
|
| 13 | 13 |
lustrec: |
| 14 | 14 |
@echo Compiling binary lustrec |
| 15 |
@$(OCAMLBUILD) src/main_lustre_compiler.native |
|
| 16 |
@mkdir -p $(LOCAL_BINDIR) |
|
| 17 |
@mv _build/src/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec |
|
| 15 |
@make -C src lustrec |
|
| 18 | 16 |
|
| 19 | 17 |
doc: |
| 20 | 18 |
@echo Generating doc |
| 21 |
@$(OCAMLBUILD) lustrec.docdir/index.html |
|
| 22 |
@rm -rf $(LOCAL_DOCDIR) |
|
| 23 |
@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR) |
|
| 19 |
@make -C src doc |
|
| 24 | 20 |
|
| 25 | 21 |
dot: doc |
| 26 |
$(OCAMLBUILD) lustrec.docdir/lustrec.dot |
|
| 27 |
dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot |
|
| 28 |
mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR) |
|
| 22 |
@make -C src dot |
|
| 29 | 23 |
|
| 30 | 24 |
clean: |
| 31 |
$(OCAMLBUILD) -clean
|
|
| 25 |
@make -C src clean
|
|
| 32 | 26 |
|
| 33 | 27 |
dist-clean: clean |
| 34 |
rm -f Makefile myocamlbuild.ml config.log config.status configure |
|
| 35 |
rm -f include/*.lusic include/math.h include/conv.h |
|
| 36 | 28 |
|
| 37 |
%.lusic: %.lusi |
|
| 29 |
%.lusic: %.lusi
|
|
| 38 | 30 |
@echo Compiling $< |
| 39 | 31 |
@$(LOCAL_BINDIR)/lustrec -verbose 0 -d include $< |
| 40 | 32 |
|
| 41 |
compile-lusi: $(LUSI_LIBS:%.lusi=%.lusic) |
|
| 33 |
compile-lusi: lustrec $(LUSI_LIBS:%.lusi=%.lusic)
|
|
| 42 | 34 |
|
| 43 | 35 |
install: compile-lusi |
| 44 | 36 |
mkdir -p ${bindir}
|
| _tags | ||
|---|---|---|
| 1 |
"src": include |
|
| 2 |
"src/backends/C": include |
|
| 3 |
"src/backends/Horn": include |
|
| 4 |
<**/.svn>: -traverse |
|
| 5 |
<**/.svn>: not_hygienic |
|
| 6 |
"src/main_lustre_compiler.native": use_graph |
|
| 7 |
"src/main_lustre_compiler.native": use_str |
|
| 8 |
"src/main_lustre_compiler.native": use_unix |
|
| 9 |
<src/*.ml{,i}>: use_graph
|
|
| 10 |
<src/*.ml{,i}>: use_str
|
|
| 11 |
<src/*.ml{,i}>: use_unix
|
|
| configure.ac | ||
|---|---|---|
| 85 | 85 |
|
| 86 | 86 |
# Instanciation |
| 87 | 87 |
AC_CONFIG_FILES([Makefile |
| 88 |
myocamlbuild.ml |
|
| 88 |
src/Makefile |
|
| 89 |
src/myocamlbuild.ml |
|
| 89 | 90 |
src/version.ml]) |
| 90 | 91 |
|
| 91 | 92 |
AC_OUTPUT |
| myocamlbuild.ml.in | ||
|---|---|---|
| 1 |
open Ocamlbuild_plugin |
|
| 2 |
open Command |
|
| 3 |
;; |
|
| 4 |
|
|
| 5 |
dispatch begin function |
|
| 6 |
| After_rules -> |
|
| 7 |
(* We declare external libraries *) |
|
| 8 |
ocaml_lib ~extern:true ~dir:"@OCAMLGRAPH_PATH@" "graph"; |
|
| 9 |
if @CC_NOASNEEDED@ then |
|
| 10 |
flag ["ocaml"; "link"] |
|
| 11 |
(S [A"-cclib";A"-Wl,--no-as-needed"]); |
|
| 12 |
| _ -> () |
|
| 13 |
end |
|
| 14 |
|
|
| src/Makefile.in | ||
|---|---|---|
| 1 |
OCAMLBUILD=@OCAMLBUILD@ -classic-display -no-links |
|
| 2 |
|
|
| 3 |
prefix=@prefix@ |
|
| 4 |
exec_prefix=@exec_prefix@ |
|
| 5 |
bindir=@bindir@ |
|
| 6 |
datarootdir = ${prefix}/share
|
|
| 7 |
includedir = ${prefix}/include
|
|
| 8 |
|
|
| 9 |
LUSI_LIBS=include/math.lusi include/conv.lusi |
|
| 10 |
LOCAL_BINDIR=../bin |
|
| 11 |
LOCAL_DOCDIR=../doc/manual |
|
| 12 |
|
|
| 13 |
lustrec: |
|
| 14 |
@echo Compiling binary lustrec |
|
| 15 |
@$(OCAMLBUILD) main_lustre_compiler.native |
|
| 16 |
@mkdir -p $(LOCAL_BINDIR) |
|
| 17 |
@mv _build/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec |
|
| 18 |
|
|
| 19 |
doc: |
|
| 20 |
@echo Generating doc |
|
| 21 |
@$(OCAMLBUILD) lustrec.docdir/index.html |
|
| 22 |
@rm -rf $(LOCAL_DOCDIR) |
|
| 23 |
@cp -rf _build/lustrec.docdir $(LOCAL_DOCDIR) |
|
| 24 |
|
|
| 25 |
dot: doc |
|
| 26 |
$(OCAMLBUILD) lustrec.docdir/lustrec.dot |
|
| 27 |
dot -T ps -o lustrec.dot _build/lustrec.docdir/lustrec.dot |
|
| 28 |
mv _build/lustrec.docdir/lustrec.dot $(LOCAL_DOCDIR) |
|
| 29 |
|
|
| 30 |
clean: |
|
| 31 |
$(OCAMLBUILD) -clean |
|
| 32 |
|
|
| 33 |
dist-clean: clean |
|
| 34 |
rm -f Makefile myocamlbuild.ml config.log config.status configure |
|
| 35 |
rm -f include/*.lusic include/math.h include/conv.h |
|
| 36 |
|
|
| 37 |
.PHONY: compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean |
|
| 38 |
|
|
| src/_tags | ||
|---|---|---|
| 1 |
"backends/C": include |
|
| 2 |
"backends/Horn": include |
|
| 3 |
<**/.svn>: -traverse |
|
| 4 |
<**/.svn>: not_hygienic |
|
| 5 |
"main_lustre_compiler.native": use_graph |
|
| 6 |
"main_lustre_compiler.native": use_str |
|
| 7 |
"main_lustre_compiler.native": use_unix |
|
| 8 |
<*.ml{,i}>: use_graph
|
|
| 9 |
<*.ml{,i}>: use_str
|
|
| 10 |
<*.ml{,i}>: use_unix
|
|
| src/myocamlbuild.ml.in | ||
|---|---|---|
| 1 |
open Ocamlbuild_plugin |
|
| 2 |
open Command |
|
| 3 |
;; |
|
| 4 |
|
|
| 5 |
dispatch begin function |
|
| 6 |
| After_rules -> |
|
| 7 |
(* We declare external libraries *) |
|
| 8 |
ocaml_lib ~extern:true ~dir:"@OCAMLGRAPH_PATH@" "graph"; |
|
| 9 |
if @CC_NOASNEEDED@ then |
|
| 10 |
flag ["ocaml"; "link"] |
|
| 11 |
(S [A"-cclib";A"-Wl,--no-as-needed"]); |
|
| 12 |
| _ -> () |
|
| 13 |
end |
|
| 14 |
|
|
Also available in: Unified diff
Moved Makefile into src folder
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@382 041b043f-8d7c-46b2-b46e-ef0dd855326e