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

all:build
build: setup.data src/lv6version.ml
	ocaml setup.ml -build          
setup.ml:_oasis
	oasis setup
PROF=--enable-profile
PROF=--disable-profile
	ocaml setup.ml -configure $(PROF)  --prefix $(LUSTREV6_PATH) --exec-prefix $(LUSTREV6_PATH)/$(HOSTTYPE)
install:
	ocaml setup.ml -install
Pascal Raymond's avatar
Pascal Raymond committed

uninstall:
	ocaml setup.ml -uninstall
Pascal Raymond's avatar
Pascal Raymond committed

reinstall:
	ocaml setup.ml -reinstall
Pascal Raymond's avatar
Pascal Raymond committed

clean:
	ocaml setup.ml -clean
	rm setup.data
Pascal Raymond's avatar
Pascal Raymond committed

distclean:
	ocaml setup.ml -distclean
Pascal Raymond's avatar
Pascal Raymond committed

###############################
# 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