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@ lfsc-extractor cvc4_lfsc_check

# Arguments for regression tests: timeout
ARGS="--timeout 42"

# pass variables to sub-makes
export


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)/$@

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

bin/cvc4_lfsc_check:
	timeout 1 sleep 2; sed "s/@TOCODE@/"$$?"/g" scripts/cvc4_lfsc_check > $@
	chmod +x $@

lfsc-extractor: bin/cvc4_lfsc_check 
	make -C src $@
	mkdir -p $(LOCAL_BINDIR)
	cp -f src/_build/lfscExtractor.native $(LOCAL_BINDIR)/$@

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

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

install: 
	mkdir -p ${bindir}
	for i in $(install_files); do \
	  if [ -f $(addprefix $(LOCAL_BINDIR)/,$$i) ]; then \
	    install -m 0755 $(addprefix $(LOCAL_BINDIR)/,$$i) $(addsuffix ${bin_suffix},$(addprefix ${bindir}/,$$i)); \
	  fi \
	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
	cp $(LOCAL_USRDOCDIR)/doc.html $(LOCAL_ALLDOCDIR)/user_documentation.html

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