-
Erwan Jahier authored
with recursive clock depende ncies.
Erwan Jahier authoredwith recursive clock depende ncies.
Makefile 825 B
all:build
build: setup.data src/lv6version.ml
ocaml setup.ml -build
include ./Makefile.version
setup.ml:_oasis
oasis setup
PROF=--enable-profile
PROF=--disable-profile
BINPATH=$(shell dirname `which ocamlc`)/..
LIBPATH=$(shell ocamlc -where)/../lustre-v6/
setup.data:setup.ml
ocaml setup.ml -configure $(PROF) --prefix $(BINPATH) --exec-prefix $(BINPATH)
install:install-man
ocaml setup.ml -install
uninstall:
ocaml setup.ml -uninstall
reinstall:
ocaml setup.ml -reinstall
clean:
ocaml setup.ml -clean
rm setup.data
rm src/lv6version.ml
distclean:
ocaml setup.ml -distclean
man:
cd lv6-ref-man && make
install-man: man
cp lv6-ref-man/lv6-ref-man.pdf $(LIBPATH) || true
###############################
# for developpers
include ./Makefile.dev
# not gitted stuff
-include ./Makefile.local