Skip to content
Snippets Groups Projects
Makefile 2.01 KiB
Newer Older
Erwan Jahier's avatar
Erwan Jahier committed

OCAMLMAKEFILE = ./OCamlMakefile
Erwan Jahier's avatar
Erwan Jahier committed
RESULT=lus2lic
Erwan Jahier's avatar
Erwan Jahier committed

LIBS = str 
Erwan Jahier's avatar
Erwan Jahier committed

ifndef SOURCES
Erwan Jahier's avatar
Erwan Jahier committed
SOURCES =  \
	./version.ml \
	./verbose.mli \
	./verbose.ml \
Erwan Jahier's avatar
Erwan Jahier committed
	./lxm.mli \
	./lxm.ml \
	./errors.ml \
Erwan Jahier's avatar
Erwan Jahier committed
	./syntaxTreeCore.ml \
	./syntaxTree.ml \
	./solveIdent.mli \
	./solveIdent.ml \
Erwan Jahier's avatar
Erwan Jahier committed
	./parser.mly \
	./lexer.mll \
	./syntaxTreeDump.mli \
	./syntaxTreeDump.ml \
Erwan Jahier's avatar
Erwan Jahier committed
	./expandPack.mli \
	./expandPack.ml \
	./symbolTab.mli \
	./symbolTab.ml \
	./eff.ml \
	./licDump.ml \
	./unifyType.mli \
	./unifyType.ml \
	./unifyClock.mli \
	./unifyClock.ml \
	./predefEvalType.mli \
	./predefEvalType.ml \
	./predefEvalConst.mli \
	./predefEvalConst.ml \
	./predefEvalClock.mli \
	./predefEvalClock.ml \
Erwan Jahier's avatar
Erwan Jahier committed
	./evalConst.mli \
	./evalConst.ml \
	./evalClock.mli \
	./evalClock.ml \
Erwan Jahier's avatar
Erwan Jahier committed
	./lazyCompiler.ml \
	./lazyCompiler.mli \
	./compile.ml \
	./main.ml
Erwan Jahier's avatar
Erwan Jahier committed
endif

MLONLY_SOURCES=$(filter %.ml %.mll %.mly, $(SOURCES))

Erwan Jahier's avatar
Erwan Jahier committed
# for using the debugger
Erwan Jahier's avatar
Erwan Jahier committed
	make MLONLY=yes SOURCES="$(MLONLY_SOURCES)" dc || true
Erwan Jahier's avatar
Erwan Jahier committed
	mv mli/* .
Erwan Jahier's avatar
Erwan Jahier committed

Erwan Jahier's avatar
Erwan Jahier committed

Erwan Jahier's avatar
Erwan Jahier committed

Erwan Jahier's avatar
Erwan Jahier committed

Erwan Jahier's avatar
Erwan Jahier committed
include $(OCAMLMAKEFILE)
Erwan Jahier's avatar
Erwan Jahier committed

Erwan Jahier's avatar
Erwan Jahier committed


tags:
Erwan Jahier's avatar
Erwan Jahier committed
	otags  $(SOURCES)  $(shell ocamlc -where)/*.mli
Erwan Jahier's avatar
Erwan Jahier committed

Erwan Jahier's avatar
Erwan Jahier committed
test: $(RESULT)
utest: $(RESULT)
	cd test; make utest

cia:
	cd ..; make cia

ci:
	cd ..; make ci

# Specific rule (version)

.PHONY: version.ml
version.ml: 
	echo "(* Automatically generated from src/Makefile *) " > version.ml
	echo "let tool = \"lus2lic\"" >> version.ml
	echo "let branch = \"$(shell utils/get_branch_name)\"" >> version.ml
	echo "let commit = \"$(shell utils/get_commit_number)\"" >> version.ml
	echo "let sha_1 = \"$(shell utils/get_sha_1)"\">> version.ml
	echo "let str = (branch ^ \".\" ^ commit)">> version.ml