Newer
Older
LUSTREV6_PATH=$(PWD)
all:build
build: setup.data src/lv6version.ml
include ./Makefile.version
setup.ml:_oasis
oasis setup
PROF=--enable-profile
PROF=--disable-profile
setup.data:setup.ml
ocaml setup.ml -configure $(PROF) --prefix $(LUSTREV6_PATH) --exec-prefix $(LUSTREV6_PATH)/$(HOSTTYPE)
install:
ocaml setup.ml -install
uninstall:
ocaml setup.ml -uninstall
reinstall:
ocaml setup.ml -reinstall
clean:
ocaml setup.ml -clean
distclean:
ocaml setup.ml -distclean
###############################
# opam-ing
NAME=lustre-v6
PACKNAME=$(NAME).$(VERSION)
WWW=/import/www/DIST-TOOLS/SYNCHRONE
HTTP=http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE
$(PACKNAME).tgz:
git archive --prefix=$(PACKNAME)/ -o $(PACKNAME).tgz HEAD
$(WWW)/pool/$(PACKNAME).tgz: $(PACKNAME).tgz
mv $^ $@
opam : $(WWW)/pool/$(PACKNAME).tgz
cd $(WWW)/opam-repository/packages && \
oasis2opam $(HTTP)/pool/$(PACKNAME).tgz && \
cd .. ; opam-admin check && opam-admin make -g
###############################
-include ./Makefile.local