Newer
Older
include ./Makefile.common
$(OBJDIR)/data.mli \
$(OBJDIR)/data.ml \
$(OBJDIR)/expr.ml \
$(OBJDIR)/failure.ml \
$(OBJDIR)/event.ml \
$(OBJDIR)/genlex.mli \
$(OBJDIR)/genlex.ml \
$(OBJDIR)/rif_base.mli \
$(OBJDIR)/rif_base.ml \
$(OBJDIR)/verbose.ml \
$(OBJDIR)/verbose.mli \
SOC_SOURCES = \
$(OBJDIR)/soc.ml \
$(OBJDIR)/socUtils.mli \
$(OBJDIR)/socUtils.ml \
$(OBJDIR)/socPredef.mli \
$(OBJDIR)/socPredef.ml \
$(OBJDIR)/toposort.mli \
$(OBJDIR)/toposort.ml \
$(OBJDIR)/actionsDeps.mli \
$(OBJDIR)/actionsDeps.ml \
$(OBJDIR)/lic2soc.mli \
$(OBJDIR)/lic2soc.ml \
$(OBJDIR)/socExecValue.mli \
$(OBJDIR)/socExecValue.ml \
$(OBJDIR)/socExecEvalPredef.mli \
$(OBJDIR)/socExecEvalPredef.ml \
$(OBJDIR)/socExec.mli \
$(OBJDIR)/socExec.ml
COMPILER_SOURCES = \
$(OBJDIR)/filenameExtras.mli \
$(OBJDIR)/filenameExtras.ml \
$(OBJDIR)/lv6MainArgs.ml \
$(OBJDIR)/lv6MainArgs.mli \
$(OBJDIR)/ident.mli \
$(OBJDIR)/ident.ml \
$(OBJDIR)/lxm.mli \
$(OBJDIR)/lxm.ml \
$(OBJDIR)/astPredef.ml \
$(OBJDIR)/astCore.ml \
$(OBJDIR)/astV6.ml \
$(OBJDIR)/astV6Dump.mli \
$(OBJDIR)/astV6Dump.ml \
$(OBJDIR)/astRecognizePredef.mli \
$(OBJDIR)/astRecognizePredef.ml \
$(OBJDIR)/lv6parserUtils.ml \
$(OBJDIR)/lv6parser.mly \
$(OBJDIR)/lv6lexer.mll \
$(OBJDIR)/astInstanciateModel.mli \
$(OBJDIR)/astInstanciateModel.ml \
$(OBJDIR)/astTabSymbol.mli \
$(OBJDIR)/astTabSymbol.ml \
$(OBJDIR)/astTab.mli \
$(OBJDIR)/astTab.ml \
$(OBJDIR)/lic.ml \
$(OBJDIR)/licName.mli \
$(OBJDIR)/licName.ml \
$(OBJDIR)/unifyType.mli \
$(OBJDIR)/unifyType.ml \
$(OBJDIR)/unifyClock.mli \
$(OBJDIR)/unifyClock.ml \
$(OBJDIR)/licEvalType.mli \
$(OBJDIR)/licEvalType.ml \
$(OBJDIR)/licEvalConst.mli \
$(OBJDIR)/licEvalConst.ml \
$(OBJDIR)/licEvalClock.mli \
$(OBJDIR)/licEvalClock.ml \
$(OBJDIR)/evalConst.mli \
$(OBJDIR)/evalConst.ml \
$(OBJDIR)/evalType.mli \
$(OBJDIR)/evalType.ml \
$(OBJDIR)/evalClock.mli \
$(OBJDIR)/evalClock.ml \
$(OBJDIR)/licMetaOp.mli \
$(OBJDIR)/licMetaOp.ml \
$(OBJDIR)/ast2lic.mli \
$(OBJDIR)/ast2lic.ml \
$(OBJDIR)/misc.ml \
$(OBJDIR)/l2lCheckLoops.mli \
$(OBJDIR)/l2lCheckLoops.ml \
$(OBJDIR)/l2lCheckOutputs.mli \
$(OBJDIR)/l2lCheckOutputs.ml \
$(OBJDIR)/l2lExpandArrays.mli \
$(OBJDIR)/l2lExpandArrays.ml \
$(OBJDIR)/l2lExpandNodes.mli \
$(OBJDIR)/l2lExpandNodes.ml \
$(OBJDIR)/l2lExpandMetaOp.ml \
$(OBJDIR)/l2lExpandMetaOp.mli \
$(OBJDIR)/l2lRmPoly.mli \
$(OBJDIR)/l2lRmPoly.ml \
$(OBJDIR)/l2lAliasType.mli \
$(OBJDIR)/l2lAliasType.ml \
$(OBJDIR)/l2lSplit.mli \
$(OBJDIR)/l2lSplit.ml \
$(OBJDIR)/licTab.ml \
$(OBJDIR)/licTab.mli \
$(OBJDIR)/compile.mli \
SOURCES = \
$(OBJDIR)/lv6version.ml \
$(COMON_SOURCES) \
$(COMPILER_SOURCES) \
LDBG_SOURCES = \
# Be sure to build those files before doing something else
# since they are needed by $(RESULT)
PRE_TARGETS=$(OBJDIR)/lv6version.ml
NOMLI_SOURCES=$(filter %.ml %.mll %.mly, $(SOURCES))
NOMLY_SOURCES=$(SOURCES:.mly=.ml)
MLONLY_SOURCES=$(NOMLY_SOURCES:.mll=.ml)
dot:
ocamldoc -I $(OBJDIR) $(MLONLY_SOURCES) -d ocamldoc -dot -dot-reduce
dot -Tpdf ocamldoc.out > lus2lic.pdf
ocamldoc -I $(OBJDIR) $(MLONLY_SOURCES) -d ocamldoc -dot -dot-reduce -dot-types
dot -Tpdf ocamldoc.out > lus2lic-types.pdf
xpdf lus2lic.pdf
xpdf lus2lic-types.pdf
html:
ocamldoc -I $(OBJDIR) $(MLONLY_SOURCES) -d ocamldoc -html -keep-code
nomli:
rm $(OBJDIR)/*.mli
debug: nomli dc
.PRECIOUS: $(OBJDIR)/lv6version.ml
$(OBJDIR)/lv6version.ml: Makefile
echo "(** Automatically gen erated from Makefile *) " > $@
echo "let tool = \"lus2lic\"" >> $@
echo "let branch = \"$(shell utils/get_branch_name)\"" >> $@
echo "let commit = \"$(shell utils/get_commit_number)\"" >> $@
echo "let sha_1 = \"$(shell utils/get_sha_1)"\">> $@
echo "let str = (branch ^ \".\" ^ commit ^ \" (\" ^ sha_1 ^ \")\")">> $@
echo "let maintainer = \"jahier@imag.fr\"">> $@
all: nc
lus2lic:
Erwan Jahier
committed
dif:
git --no-pager diff --color-words
rm -f diff_lv6.diff; git diff --ignore-all-space > diff_lv6.diff ; ls -l diff_lv6.diff
OTAGS=$(HOME)/bin/otags
tags:
$(OTAGS) -v $(shell $(OCAMLC) -where)/*.mli src/*.ml
test_nc:
cd $(TESTDIR) ; make test ; cd $(curdir)
test:
make
ci: $(OBJDIR)/lv6version.ml
make test && git commit -F log && rm -f $(OBJDIR)/lv6version.ml
cia: $(OBJDIR)/lv6version.ml
git commit -a -F log && rm -f $(OBJDIR)/lv6version.ml
git commit -a -F log --amend && rm -f $(OBJDIR)/lv6version.ml
git push git+ssh://jahier@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2lic.git
pull:
git pull git+ssh://jahier@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/lustre/lus2lic.git
cp $(LDBG_SOURCES) ../lurette/source/lus2lic/
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
chmod u-w ../lurette/source/lus2lic/*
# Keep those files in sync as they are shared
# and prevent their modification
cp_comon_file:
chmod u+w src/data.ml
chmod u+w src/data.mli
chmod u+w src/rif_base.ml
chmod u+w src/rif_base.mli
chmod u+w src/genlex.ml
chmod u+w src/genlex.mli
chmod u+w src/verbose.ml
chmod u+w src/verbose.mli
chmod u+w src/expr.ml
chmod u+w src/event.ml
chmod u+w src/failure.ml
cp ~/lurette/source/common/data.ml src/
cp ~/lurette/source/common/data.mli src/
cp ~/lurette/source/common/rif_base.ml src/
cp ~/lurette/source/common/rif_base.mli src/
cp ~/lurette/source/common/genlex.ml src/
cp ~/lurette/source/common/genlex.mli src/
cp ~/lurette/source/Lutin/verbose.ml src/
cp ~/lurette/source/Lutin/verbose.mli src/
cp ~/lurette/source/Lurettetop/expr.ml src/
cp ~/lurette/source/Lurettetop/event.ml src/
cp ~/lurette/source/Lurettetop/failure.ml src/
chmod u-w src/data.ml
chmod u-w src/data.mli
chmod u-w src/rif_base.ml
chmod u-w src/rif_base.mli
chmod u-w src/genlex.ml
chmod u-w src/genlex.mli
chmod u-w src/verbose.ml
chmod u-w src/verbose.mli
chmod u-w src/expr.ml
chmod u-w src/event.ml
chmod u-w src/failure.ml