2N/A#

2N/A# Makefile

2N/A# $Header$

2N/A# Author: Heng Jiang, Uni Bremen 2004-2006

2N/A# Year: 2006

2N/A#

2N/A# This Makefile will generate the installer for Hets with IzPack

2N/A#

2N/A

2N/Aall: download build ## cleanup

2N/A

2N/AEMPTY =

2N/AACTDATE = $(shell date +%F)

2N/ATMP_PATH = $(PWD)

2N/AIZPACK_PATH = $(TMP_PATH)/Izpack-Hets

2N/AIZPACK_COMPILE = $(IZPACK_PATH)/bin/compile

2N/AIZPACK_SAMPLE = $(IZPACK_PATH)/sample

2N/A#HETS_BIN = $(HOME)/bin/hets-$(ACTDATE)

2N/A

2N/A#PLATFORM = $(shell uname -s)

2N/AGMPURL = http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GMP.framework.zip

2N/AGNUreadlineURL = http://www..informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GNUreadline-framework.zip

2N/AINSTALL_XML_SOLARIS = $(IZPACK_SAMPLE)/pack/install-solaris.xml

2N/AINSTALL_XML_MAC = $(IZPACK_PATH)/sample/pack/install-mac.xml

2N/AINSTALL_XML_LINUX = $(IZPACK_PATH)/sample/pack/install-linux.xml

2N/A

2N/AINSTALL_JAR_SOLARIS = hets-installer-sparc-solaris.jar

2N/AINSTALL_JAR_MAC = hets-installer-ppc-mac.jar

2N/AINSTALL_JAR_LINUX = hets-installer-x86-linux.jar

2N/A

2N/ASPASSURL_SOLARIS = http://spass.mpi-sb.mpg.de/download/binaries/spass22sparc59.tgz

2N/ASPASSURL_MAC = http://spass.mpi-sb.mpg.de/download/binaries/spass22mac.dmg

2N/ASPASSURL_LINUX = http://spass.mpi-sb.mpg.de/download/binaries/spass22pclinux.tgz

2N/A

2N/Adownload : izpack_checkout tools-checkout hetcats-make casl-lib-checkout other-download

2N/A

2N/Acasl-lib-checkout :

2N/A @echo update casl-lib

2N/A @cd $(IZPACK_SAMPLE) ; \

2N/A if [ -d CASL-lib ] ; then \

2N/A cvs up -dPA CASL-lib ; \

2N/A else \

2N/A cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P CASL-lib ; \

2N/A fi ; \

2N/A for x in $(find CASL-lib -name "*"); do \

2N/A if [ -f $x ] ; then \

2N/A POSTFIX=`ls $x | sed "s%.*\.\(.*\)%\\1%"` ; \

2N/A if [ $POSTFIX != "casl" ] ; then \

2N/A if [ $POSTFIX != "het" ] ; then \

2N/A rm $x 2>/dev/null ; \

2N/A fi ; \

2N/A fi ; \

2N/A fi ; \

2N/A done

2N/A

2N/Ahetcats-make : daily-hets-download

2N/A cd $(TMP_PATH) ;\

2N/A cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P HetCATS ; \

2N/A cd HetCATS ;\

2N/A export HETS_VERSION=`cat version_nr` ;\

2N/A sed -e "s/^\(.*<appversion>\)[0-9.]*\(.*$\)/\1$(HETS_VERSION)\2/" $(IZPACK_SAMPLE)/pack/install-linux.xml > $(IZPACK_SAMPLE)/pack/install-linux.xml ;\

2N/A sed -e "s/^\(.*<appversion>\)[0-9.]*\(.*$\)/\1$(HETS_VERSION)\2/" $(IZPACK_SAMPLE)/pack/install-mac.xml > $(IZPACK_SAMPLE)/pack/install-mac.xml ;\

2N/A sed -e "s/^\(.*<appversion>\)[0-9.]*\(.*$\)/\1$(HETS_VERSION)\2/" $(IZPACK_SAMPLE)/pack/install-solaris.xml > $(IZPACK_SAMPLE)/pack/install-solaris.xml ;\

2N/A cp LICENCE.txt $(IZPACK_SAMPLE)/pack/LICENCE.txt ;\

2N/A cp README $(IZPACK_SAMPLE)/pack/README ;\

2N/A $(MAKE) release ;\

2N/A mv HetCATS.tar $(IZPACK_SAMPLE)/src/ ;\

2N/A mkdir $(IZPACK_SAMPLE)/hets/OWLParser ; \

2N/A mkdir $(IZPACK_SAMPLE)/hets/OWLParser/java ; \

2N/A cp OWL_DL/owl_parser $(IZPACK_SAMPLE)/hets/OWLParser ; \

2N/A cp OWL_DL/java/OWLParser.jar $(IZPACK_SAMPLE)/hets/OWLParser/java ; \

2N/A cp -r OWL_DL/java/jlib $(IZPACK_SAMPLE)/hets/OWLParser/java

2N/A $(RM) -r HetCATS

2N/A cd $(IZPACK_SAMPLE)/src ; tar xvf HetCATS.tar ; $(RM) HetCATS.tar

2N/A

2N/Adaily-hets-download :

2N/A @sh getAllHets.sh $(HETS_VERSION)

2N/A mv getAllHets.sh $(IZPACK_SAMPLE)

2N/A mv $(HOME)/bin/hets/* $(IZPACK_SAMPLE)/hets/

2N/A # HETS_VER=$($(HETS_BIN) -V | sed "s%^.*[Vv]\(.*\),.*%\\1%") ; \

2N/A #@ln -s $(IZPACK_SAMPLE)/hets/hets-$(ACTDATE) $(IZPACK_SAMPLE)/hets

2N/A

2N/Atools-checkout :

2N/A @echo update uni

2N/A @cd $(IZPACK_SAMPLE)/src ; \

2N/A if [ -d uni ] ; then \

2N/A cvs up -dPA uni ; \

2N/A else \

2N/A cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P uni ; \

2N/A fi ; \

2N/A echo checkout programatica ; \

2N/A cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs co \

2N/A programatica/tools/base programatica/tools/property

2N/A

2N/Aizpack_checkout :

2N/A @echo update izpack_het

2N/A @if [ -d $(IZPACK_PATH) ] ; then \

2N/A svn up $(IZPACK_PATH) ; \

2N/A else \

2N/A svn checkout https://svn-agbkb.informatik.uni-bremen.de/izpack $(IZPACK_PATH) ; \

2N/A fi

2N/A

2N/Aother-download :

2N/A wget --output-document=$(IZPACK_SAMPLE)/GMP/GMP.framework.zip $(GMPURL) ; \

2N/A cd $(IZPACK_SAMPLE)/GMP ; \

2N/A unzip GMP.framework.zip ; \

2N/A $(RM) GMP.framework.zip

2N/A wget --output-document=$(IZPACK_SAMPLE)/GNUreadline/GNUreadline-framework.zip $(GNUreadlineURL) ; \

2N/A cd $(IZPACK_SAMPLE)/GNUreadline ; \

2N/A unzip GNUreadline-framework.zip ; \

2N/A $(RM) GNUreadline-framework.zip

2N/A wget --output-document=$(IZPACK_SAMPLE)/SPASS/LINUX/spass.tgz $(SPASSURL_LINUX)

2N/A wget --output-document=$(IZPACK_SAMPLE)/SPASS/SOLARIS/spass.tgz $(SPASSURL_SOLARIS)

2N/A wget --output-document=$(IZPACK_SAMPLE)/SPASS/MAC/spass.tgz $(SPASSURL_MAC)

2N/A cd $(IZPACK_SAMPLE)/SPASS/LINUX/ ; tar xvf spass.tgz ; $(RM) spass.tgz

2N/A cd $(IZPACK_SAMPLE)/SPASS/SOLARIS/ ; tar xvf spass.tgz ; $(RM) spass.tgz

2N/A cd $(IZPACK_SAMPLE)/SPASS/MAC/ ; tar xvf spass.tgz ; $(RM) spass.tgz

2N/A

2N/Abuild:

2N/A @chmod +x $(IZPACK_PATH)/bin/compile

2N/A $(IZPACK_COMPILE) $(INSTALL_XML_LINUX) -b $(IZPACK_SAMPLE)/ -o $(INSTALL_JAR_LINUX) -k standard

2N/A

2N/A

2N/Acleanup:

2N/A @$(RM) -r $(IZPACK_PATH)

2N/A @$(RM) Makefile

2N/A

2N/A.PHONY : all download build casl-lib-checkout hetcats-make daily-hets-download other-download izpack_checkout cleanup tools-checkout