Makefile.installer revision 77aa4b87bdccf1aa41b01546cbe093a58f846bda
486N/A#
486N/A# Makefile
486N/A# $Header$
486N/A# Author: Heng Jiang, Uni Bremen 2004-2006
486N/A# Year: 2006
486N/A#
486N/A# This Makefile will generate the installer for Hets with IzPack
486N/A#
486N/A
486N/Aall: download build ## cleanup
486N/A
486N/AEMPTY =
486N/AACTDATE = $(shell date +%F)
486N/ATMP_PATH = $(PWD)
486N/AIZPACK_PATH = $(TMP_PATH)/Izpack-Hets
486N/AIZPACK_COMPILE = $(IZPACK_PATH)/bin/compile
486N/AIZPACK_SAMPLE = $(IZPACK_PATH)/sample
486N/AHETS_VERSION=0.61
486N/ASED_COMMAND="s/^\(.*<appversion>\)[0-9. ]*\(<.*$$\)/\1$(HETS_VERSION)\2/"
873N/A#HETS_BIN = $(HOME)/bin/hets-$(ACTDATE)
486N/A
486N/A#PLATFORM = $(shell uname -s)
486N/AGMPURL = http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GMP.framework.zip
486N/AGNUreadlineURL = http://www..informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GNUreadline-framework.zip
486N/AINSTALL_XML_SOLARIS = $(IZPACK_SAMPLE)/pack/install-solaris.xml
873N/AINSTALL_XML_MAC = $(IZPACK_PATH)/sample/pack/install-mac.xml
486N/AINSTALL_XML_LINUX = $(IZPACK_PATH)/sample/pack/install-linux.xml
486N/A
486N/AINSTALL_JAR_SOLARIS = hets-installer-sparc-solaris.jar
486N/AINSTALL_JAR_MAC = hets-installer-ppc-mac.jar
486N/AINSTALL_JAR_LINUX = hets-installer-x86-linux.jar
486N/A
486N/ASPASSURL_SOLARIS = http://spass.mpi-sb.mpg.de/download/binaries/spass22sparc59.tgz
486N/ASPASSURL_MAC = http://spass.mpi-sb.mpg.de/download/binaries/spass22mac.dmg
486N/ASPASSURL_LINUX = http://spass.mpi-sb.mpg.de/download/binaries/spass22pclinux.tgz
486N/A
486N/Adownload : izpack_checkout tools-checkout hetcats-make casl-lib-checkout other-download
619N/A
619N/Acasl-lib-checkout :
619N/A @echo update casl-lib
619N/A @cd $(IZPACK_SAMPLE) ; \
619N/A if [ -d CASL-lib ] ; then \
619N/A cvs up -dPA CASL-lib ; \
619N/A else \
619N/A cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P CASL-lib ; \
619N/A fi ; \
619N/A for x in $(find CASL-lib -name "*"); do \
619N/A if [ -f $x ] ; then \
619N/A POSTFIX=`ls $x | sed "s%.*\.\(.*\)%\\1%"` ; \
619N/A if [ $POSTFIX != "casl" ] ; then \
619N/A if [ $POSTFIX != "het" ] ; then \
619N/A rm $x 2>/dev/null ; \
486N/A fi ; \
486N/A fi ; \
486N/A fi ; \
486N/A done
486N/A
486N/Ahetcats-make : daily-hets-download
1194N/A cd $(TMP_PATH) ;\
486N/A cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P HetCATS ; \
1194N/A cd HetCATS ;\
619N/A cp LICENCE.txt $(IZPACK_SAMPLE)/pack/LICENCE.txt ;\
486N/A cp README $(IZPACK_SAMPLE)/pack/README ;\
486N/A $(MAKE) release ;\
619N/A mv HetCATS.tar $(IZPACK_SAMPLE)/src/ ;\
619N/A mkdir $(IZPACK_SAMPLE)/hets/OWLParser ; \
619N/A mkdir $(IZPACK_SAMPLE)/hets/OWLParser/java ; \
619N/A cp OWL_DL/owl_parser.installer $(IZPACK_SAMPLE)/hets/OWLParser/owl_parser ; \
619N/A cp OWL_DL/java/OWLParser.jar $(IZPACK_SAMPLE)/hets/OWLParser/java ; \
619N/A cp -r OWL_DL/java/jlib $(IZPACK_SAMPLE)/hets/OWLParser/java
619N/A $(RM) -r HetCATS
619N/A cd $(IZPACK_SAMPLE)/src ; tar xvf HetCATS.tar ; $(RM) HetCATS.tar
486N/Adaily-hets-download :
486N/A @sh getAllHets.sh $(HETS_VERSION)
619N/A mv getAllHets.sh $(IZPACK_SAMPLE)
486N/A mv $(HOME)/tmp/hets/* $(IZPACK_SAMPLE)/hets/
486N/A
486N/Atools-checkout :
486N/A @echo update uni
486N/A @cd $(IZPACK_SAMPLE)/src ; \
486N/A if [ -d uni ] ; then \
486N/A cvs up -dPA uni ; \
486N/A else \
486N/A cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P uni ; \
486N/A fi ; \
486N/A echo checkout programatica ; \
486N/A cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs co \
486N/A programatica/tools/base programatica/tools/property
486N/A
486N/Aizpack_checkout :
486N/A @echo update izpack_het
486N/A @if [ -d $(IZPACK_PATH) ] ; then \
486N/A svn up $(IZPACK_PATH) ; \
486N/A else \
486N/A svn checkout https://svn-agbkb.informatik.uni-bremen.de/izpack $(IZPACK_PATH) ; \
486N/A fi
486N/A @sed -e $(SED_COMMAND) \
486N/A $(IZPACK_SAMPLE)/pack/install-linux.xml > \
486N/A hets_inst_tmp 2>/dev/null ; \
486N/A mv hets_inst_tmp $(IZPACK_SAMPLE)/pack/install-linux.xml
486N/A @sed -e $(SED_COMMAND) \
486N/A $(IZPACK_SAMPLE)/pack/install-mac.xml > \
536N/A hets_inst_tmp 2>/dev/null ; \
536N/A mv hets_inst_tmp $(IZPACK_SAMPLE)/pack/install-mac.xml
536N/A @sed -e $(SED_COMMAND) \
536N/A $(IZPACK_SAMPLE)/pack/install-solaris.xml > \
1181N/A hets_inst_tmp 2>/dev/null ; \
1181N/A mv hets_inst_tmp $(IZPACK_SAMPLE)/pack/install-solaris.xml
1181N/A
1181N/Aother-download :
1181N/A wget --output-document=$(IZPACK_SAMPLE)/GMP/GMP.framework.zip $(GMPURL) ; \
1181N/A cd $(IZPACK_SAMPLE)/GMP ; \
1181N/A unzip GMP.framework.zip ; \
1181N/A $(RM) GMP.framework.zip
1181N/A wget --output-document=$(IZPACK_SAMPLE)/GNUreadline/GNUreadline-framework.zip $(GNUreadlineURL) ; \
1181N/A cd $(IZPACK_SAMPLE)/GNUreadline ; \
1181N/A unzip GNUreadline-framework.zip ; \
1181N/A $(RM) GNUreadline-framework.zip
1181N/A wget --output-document=$(IZPACK_SAMPLE)/SPASS/LINUX/spass.tgz $(SPASSURL_LINUX)
1181N/A wget --output-document=$(IZPACK_SAMPLE)/SPASS/SOLARIS/spass.tgz $(SPASSURL_SOLARIS)
1181N/A wget --output-document=$(IZPACK_SAMPLE)/SPASS/MAC/spass.tgz $(SPASSURL_MAC)
1181N/A cd $(IZPACK_SAMPLE)/SPASS/LINUX/ ; tar xvf spass.tgz ; $(RM) spass.tgz
1181N/A cd $(IZPACK_SAMPLE)/SPASS/SOLARIS/ ; tar xvf spass.tgz ; $(RM) spass.tgz
1181N/A cd $(IZPACK_SAMPLE)/SPASS/MAC/ ; tar xvf spass.tgz ; $(RM) spass.tgz
1181N/A
536N/Abuild:
961N/A @chmod +x $(IZPACK_PATH)/bin/compile
961N/A $(IZPACK_COMPILE) $(INSTALL_XML_LINUX) -b $(IZPACK_SAMPLE)/ -o $(INSTALL_JAR_LINUX) -k standard
961N/A $(IZPACK_COMPILE) $(INSTALL_XML_MAC) -b $(IZPACK_SAMPLE)/ -o $(INSTALL_JAR_MAC) -k standard
832N/A $(IZPACK_COMPILE) $(INSTALL_XML_SOLARIS) -b $(IZPACK_SAMPLE)/ -o $(INSTALL_JAR_SOLARIS) -k standard
961N/A
961N/A
961N/Acleanup:
961N/A @$(RM) -r $(IZPACK_PATH) hets
961N/A @$(RM) Makefile
961N/A
961N/A.PHONY : all download build casl-lib-checkout hetcats-make daily-hets-download other-download izpack_checkout cleanup tools-checkout
961N/A
961N/A