Makefile.installer revision 84c3b16fd18eeee7515d815a966cc10b6c6d2c0e
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder#
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian Maeder# Makefile
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder# $Header$
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder# Author: Heng Jiang, Uni Bremen 2004-2006
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder# Year: 2006
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder#
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder# This Makefile will generate the installer for Hets with IzPack
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder#
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maederall: download build ##cleanup
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian MaederEMPTY =
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian MaederACTDATE = $(shell date +%F)
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTMP_PATH = $(PWD)
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIZPACK_PATH = $(TMP_PATH)/Izpack-Hets
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIZPACK_COMPILE = $(IZPACK_PATH)/bin/compile
68d10d143f29fcff3c637ba24f90e983995ceae6Christian MaederIZPACK_SAMPLE = $(IZPACK_PATH)/sample
a53841f6d6e86ac751c12a33dc8aadf53f59d977Klaus LuettichHETS_VERSION=0.61
a53841f6d6e86ac751c12a33dc8aadf53f59d977Klaus LuettichSED_COMMAND="s/^\(.*<appversion>\)[0-9. ]*\(<.*$$\)/\1$(HETS_VERSION)\2/"
a53841f6d6e86ac751c12a33dc8aadf53f59d977Klaus Luettich
a53841f6d6e86ac751c12a33dc8aadf53f59d977Klaus LuettichGMPURL = http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GMP.framework.zip
a737caf82de97c1907027c03e4b4509eb492b4b8Christian MaederGNUreadlineURL = http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GNUreadline-framework.zip
68d10d143f29fcff3c637ba24f90e983995ceae6Christian MaederINSTALL_XML_SOLARIS = $(IZPACK_SAMPLE)/pack/install-solaris.xml
96646aed2ae087b942ae23f15bbe729a8f7c43d3Christian MaederINSTALL_XML_MAC = $(IZPACK_PATH)/sample/pack/install-mac.xml
01e383014b555bbcf639c0ca60c5810b3eff83c0Christian MaederINSTALL_XML_LINUX = $(IZPACK_PATH)/sample/pack/install-linux.xml
3b06e23643a9f65390cb8c1caabe83fa7e87a708Till Mossakowski
9dac90ec2be2a72e03893095461960d483fe2fc2Christian MaederINSTALL_JAR_SOLARIS = hets-installer-sparc-solaris.jar
5e5d3e82af3bc2834f8718a52d9f45da80220273Dominik LueckeINSTALL_JAR_MAC = hets-installer-ppc-mac.jar
7bdc9c0783f9c8c830346e6baeac9306eee1a622Christian MaederINSTALL_JAR_LINUX = hets-installer-x86-linux.jar
ce8b15da31cd181b7e90593cbbca98f47eda29d6Till Mossakowski
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederSPASSURL_SOLARIS = http://spass.mpi-sb.mpg.de/download/binaries/spass22sparc59.tgz
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederSPASSURL_MAC = http://spass.mpi-sb.mpg.de/download/binaries/spass22mac.dmg
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederSPASSURL_LINUX = http://spass.mpi-sb.mpg.de/download/binaries/spass22pclinux.tgz
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederSPASS_SRC = http://spass.mpi-sb.mpg.de/download/sources/spass22.tgz
a1ed34933c266ce85066acb0d7b20c90cb8eb213Christian Maeder
c0c2380bced8159ff0297ece14eba948bd236471Christian Maederdownload : izpack_checkout tools-checkout hetcats-make casl-lib-checkout other-download
8410667510a76409aca9bb24ff0eda0420088274Christian Maeder
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maedercasl-lib-checkout :
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder @echo update casl-lib
8410667510a76409aca9bb24ff0eda0420088274Christian Maeder @cd $(IZPACK_SAMPLE) ; \
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich if [ -d CASL-lib ] ; then \
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maeder cvs up -dPA CASL-lib ; \
ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder else \
4d56f2fa72e4aec20eb827c11ed49c8cbb7014bdChristian Maeder cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P CASL-lib ; \
4cb215739e9ab13447fa21162482ebe485b47455Christian Maeder fi ; \
8ef75f1cc0437656bf622cec5ac9e8ea221da8f2Christian Maeder for x in $(find CASL-lib -name "*"); do \
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich if [ -f $x ] ; then \
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder POSTFIX=`ls $x | sed "s%.*\.\(.*\)%\\1%"` ; \
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maeder if [ $POSTFIX != "casl" ] ; then \
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder if [ $POSTFIX != "het" ] ; then \
55adfe57a4de1f36adc3e3bfc16f342e44a7d444Christian Maeder rm $x 2>/dev/null ; \
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder fi ; \
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maeder fi ; \
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maeder fi ; \
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder done
e593b89bfd4952698dc37feced21cefe869d87a2Christian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederhetcats-make : daily-hets-download
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder cd $(TMP_PATH) ;\
7cc09dd93962a2155c34d209d1d4cd7d7b838264Christian Maeder cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P HetCATS ; \
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maeder cd HetCATS ;\
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maeder cp LICENCE.txt $(IZPACK_SAMPLE)/pack/LICENCE.txt ;\
51d769d55d88dfa88bdf54bee78d8fa85a2deba8Christian Maeder cp README $(IZPACK_SAMPLE)/pack/README ;\
f041c9a6bda23de33a38490e35b831ae18d96b45Christian Maeder cp utils/SPASS-ppc-mac/* $(IZPACK_SAMPLE)/SPASS/MAC/ ;\
7cc09dd93962a2155c34d209d1d4cd7d7b838264Christian Maeder cp hets.in $(IZPACK_SAMPLE)/hets ;\
51d769d55d88dfa88bdf54bee78d8fa85a2deba8Christian Maeder $(MAKE) release ;\
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maeder mv HetCATS.tar $(IZPACK_SAMPLE)/src/ ;\
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maeder mkdir $(IZPACK_SAMPLE)/hets/OWLParser ; \
c3053d57f642ca507cdf79512e604437c4546cb9Christian Maeder mkdir $(IZPACK_SAMPLE)/hets/OWLParser/java ; \
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian Maeder cp OWL_DL/owl_parser.installer $(IZPACK_SAMPLE)/hets/OWLParser/owl_parser ; \
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maeder cp OWL_DL/java/OWLParser.jar $(IZPACK_SAMPLE)/hets/OWLParser/java ; \
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maeder cp -r OWL_DL/java/jlib $(IZPACK_SAMPLE)/hets/OWLParser/java
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian Maeder $(RM) -r HetCATS
d0279930f87bf39843e0bd2992a4789322662144Christian Maeder cd $(IZPACK_SAMPLE)/src ; tar xvf HetCATS.tar ; $(RM) HetCATS.tar
c2fcc35abb03cf0b4ca4b050efeb10827f38c322Christian Maederdaily-hets-download :
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maeder @sh getAllHets.sh $(HETS_VERSION)
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maeder mv getAllHets.sh $(IZPACK_SAMPLE)
09d6f5d326545acfea43d3ffe1493c2176366475Christian Maeder mv $(HOME)/tmp/hets_installer/hets/* $(IZPACK_SAMPLE)/hets/
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maedertools-checkout :
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maeder @echo update uni
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder @cd $(IZPACK_SAMPLE)/src ; \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder if [ -d uni ] ; then \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder cvs up -dPA uni ; \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder else \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:\/repository co -P uni ; \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder fi ; \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder echo checkout programatica ; \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs co \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder programatica/tools/base programatica/tools/property
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maederizpack_checkout :
0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder @echo update izpack_het
f13d1e86e58da53680e78043e8df182eed867efbChristian Maeder @if [ -d $(IZPACK_PATH) ] ; then \
b9b331bded61b8860edacac91df16ee19e465b42Christian Maeder svn up $(IZPACK_PATH) ; \
79e80c4b3f0ebb337d84415a50f29ccfc793e68bChristian Maeder else \
79e80c4b3f0ebb337d84415a50f29ccfc793e68bChristian Maeder svn checkout https://svn-agbkb.informatik.uni-bremen.de/izpack $(IZPACK_PATH) ; \
79e80c4b3f0ebb337d84415a50f29ccfc793e68bChristian Maeder fi
36f63902db2b3463faa9f59912ad106e2d5aaa24Klaus Luettich @sed -e $(SED_COMMAND) \
36f63902db2b3463faa9f59912ad106e2d5aaa24Klaus Luettich $(IZPACK_SAMPLE)/pack/install-linux.xml > \
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus Luettich hets_inst_tmp 2>/dev/null ; \
f8e1a1eca871a26a535a4ee7d51902ba94b1db1eChristian Maeder mv hets_inst_tmp $(IZPACK_SAMPLE)/pack/install-linux.xml
8cacad2a09782249243b80985f28e9387019fe40Christian Maeder @sed -e $(SED_COMMAND) \
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder $(IZPACK_SAMPLE)/pack/install-mac.xml > \
a7c27282e71cf4505026645f96d4f5cb8a284e32Christian Maeder hets_inst_tmp 2>/dev/null ; \
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder mv hets_inst_tmp $(IZPACK_SAMPLE)/pack/install-mac.xml
8a28707e9155465c6f2236a06eac6580a65c7025Christian Maeder @sed -e $(SED_COMMAND) \
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus Luettich $(IZPACK_SAMPLE)/pack/install-solaris.xml > \
797ccd67cb8ae127be097cd43448801b673e3b69Christian Maeder hets_inst_tmp 2>/dev/null ; \
797ccd67cb8ae127be097cd43448801b673e3b69Christian Maeder mv hets_inst_tmp $(IZPACK_SAMPLE)/pack/install-solaris.xml
431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederother-download :
d3ae0072823e2ef0d41d4431fcc768e66489c20eChristian Maeder wget --output-document=$(IZPACK_SAMPLE)/GMP/GMP.framework.zip $(GMPURL) ; \
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder cd $(IZPACK_SAMPLE)/GMP ; \
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder unzip GMP.framework.zip ; \
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder $(RM) GMP.framework.zip
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder wget --output-document=$(IZPACK_SAMPLE)/GNUreadline/GNUreadline-framework.zip $(GNUreadlineURL) ; \
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder cd $(IZPACK_SAMPLE)/GNUreadline ; \
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder unzip GNUreadline-framework.zip ; \
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder $(RM) GNUreadline-framework.zip
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder wget --output-document=$(IZPACK_SAMPLE)/SPASS/LINUX/spass.tgz $(SPASSURL_LINUX)
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder wget --output-document=$(IZPACK_SAMPLE)/SPASS/SOLARIS/spass.tgz $(SPASSURL_SOLARIS)
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder wget --output-document=$(IZPACK_SAMPLE)/SPASS/spass-src.tgz $(SPASS_SRC)
a6db617ca58eb6a0587b6366e913107dfecb71b5Heng Jiang cd $(IZPACK_SAMPLE)/SPASS/LINUX/ ; tar xvfz spass.tgz ; \
64d532f676706149814b58c97cd064ca5993cccfChristian Maeder $(RM) spass.tgz ; mv SPASS*/SPASS . ; $(RM) -r SPASS*/* ; \
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder mv SPASS SPASS*/ ; chmod a+x SPASS*/SPASS
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder cd $(IZPACK_SAMPLE)/SPASS/SOLARIS/ ; tar xvfz spass.tgz ; \
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder $(RM) spass.tgz ; mv SPASS*/SPASS . ; $(RM) -r SPASS*/* ; \
498aa48bdb931ab50990d3b74318a5db2312186cChristian Maeder mv SPASS SPASS*/ ; chmod a+x SPASS*/SPASS
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maederbuild:
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder @chmod +x $(IZPACK_PATH)/bin/compile
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder $(IZPACK_COMPILE) $(INSTALL_XML_LINUX) -b $(IZPACK_SAMPLE)/ -o $(INSTALL_JAR_LINUX) -k standard
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(IZPACK_COMPILE) $(INSTALL_XML_MAC) -b $(IZPACK_SAMPLE)/ -o $(INSTALL_JAR_MAC) -k standard
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder $(IZPACK_COMPILE) $(INSTALL_XML_SOLARIS) -b $(IZPACK_SAMPLE)/ -o $(INSTALL_JAR_SOLARIS) -k standard
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maedercleanup:
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder @$(RM) -r $(IZPACK_PATH) hets_installer
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder @$(RM) Makefile
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder.PHONY : all download build casl-lib-checkout hetcats-make daily-hets-download other-download izpack_checkout cleanup tools-checkout
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder