Makefile.in

# DO NOT CHANGE THIS FILE!
# If you want to change the Makefile, edit Makefile.in instead

# @configure_input@

LOCAL_BINDIR=$(CURDIR)/bin
LOCAL_DOCDIR=$(CURDIR)/ocamldoc
LOCAL_REGRESSIONDIR=$(CURDIR)/tests/regression
LOCAL_ALLDOCDIR=$(CURDIR)/doc
LOCAL_USRDOCDIR=$(CURDIR)/doc/usr

package=@PACKAGE_NAME@
version=@PACKAGE_VERSION@
tarname=@PACKAGE_TARNAME@
distdir=$(tarname)-$(version).`date +%Y.%m.%d`

prefix=@prefix@
exec_prefix=@exec_prefix@
bindir=@bindir@
bin_suffix=@bin_suffix@

install_files=@PACKAGE_NAME@

all: @PACKAGE_NAME@

.PHONY: ocamlczmq @PACKAGE_NAME@ @PACKAGE_NAME@-prof @PACKAGE_NAME@-top @PACKAGE_NAME@-doc 

ocamlczmq: 
	cd ocamlczmq && ./build.sh

@PACKAGE_NAME@: 
	make -C src
	mkdir -p $(LOCAL_BINDIR)
	cp -f src/_build/@PACKAGE_NAME@.native $(LOCAL_BINDIR)/$@

@PACKAGE_NAME@-prof: 
	make -C src $@
	mkdir -p $(LOCAL_BINDIR)
	cp -f src/_build/@PACKAGE_NAME@.native $(LOCAL_BINDIR)/$@

@PACKAGE_NAME@-top: 
	make -C src $@
	mkdir -p $(LOCAL_BINDIR)
	cp -f src/_build/@PACKAGE_NAME@.top $(LOCAL_BINDIR)/$@

@PACKAGE_NAME@-terms-top: 
	make -C src $@
	mkdir -p $(LOCAL_BINDIR)
	cp -f src/_build/@PACKAGE_NAME@-terms.top $(LOCAL_BINDIR)/$@

lustre-checker: 
	make -C src $@
	mkdir -p $(LOCAL_BINDIR)
	cp -f src/_build/lustreChecker.native $(LOCAL_BINDIR)/$@

@PACKAGE_NAME@-doc: 
	make -C src $@
	mkdir -p $(LOCAL_DOCDIR)
	cp -Rf src/_build/@PACKAGE_NAME@.docdir/* $(LOCAL_DOCDIR)

.PHONY: install clean-@PACKAGE_NAME@ clean-ocamlczmq clean test doc

install: 
	mkdir -p ${bindir}
	for i in $(install_files); do \
		install -m 0755 $(addprefix $(LOCAL_BINDIR)/,$$i) $(addsuffix ${bin_suffix},$(addprefix ${bindir}/,$$i)); \
	 done
	if [ -n ${bin_suffix} ]; then echo "Suffix for binaries is ${bin_suffix}"; fi

test: all
	./tests/run.sh $(LOCAL_REGRESSIONDIR) $(LOCAL_BINDIR)/kind2 "${ARGS}"

doc:
	make -C $(LOCAL_USRDOCDIR)
	cp $(LOCAL_USRDOCDIR)/doc.pdf $(LOCAL_ALLDOCDIR)/user_documentation.pdf

doc-sync:
	make -C $(LOCAL_USRDOCDIR) update

doc-clean:
	make -C $(LOCAL_USRDOCDIR) clean

clean-@PACKAGE_NAME@:
	make -C src clean

clean-ocamlczmq:
	make -C ocamlczmq clean
	rm -f $(LOCAL_ALLDOCDIR)/*.pdf

clean: clean-@PACKAGE_NAME@ clean-ocamlczmq doc-clean


# Remake this Makefile if configuration has changed 
Makefile: Makefile.in ./config.status
	./config.status

./config.status: ./configure
	./config.status --recheck