Cross Reference: /hets/debian/rules

	rules revision 3f95302b4255b33e3eb9c597c0d23838a9a815b6
280a8a0544b4aeb52414d20e8c6e6c5b1108562eTinderbox User# Makefile
59602f2a7c4e4809941583bed3e94cd26e628f1aTinderbox User# $Id$
6fe48fb46e53ffc37542853a1edb74cb481b7d94Automatic Updater# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
5affecff6e148a8e124d03f5dbac0da11e30dcc5Tinderbox User# Year:   2004
19558a04decde0e7261d489d92d04ad88104217bTinderbox User
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews# This Makefile will compile the new hets system and provides also
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews# targets for test programs during implementation phases.
969eaf7df8ac651946f76b6631ff5db568c11ef6Tinderbox User
03ebc228ee3725738b067b6bd7082a9a731822a1Tinderbox User# !!! Note: This makefile is written for GNU make !!!
f4ee48be3994797a8332b86c101db4d7b54799ceTinderbox User#           (gmake on solaris)
a2c370ca12bb0360ff7e969474ead3f788c65fffTinderbox User
8de3f14f1c300c3e1ed99084cc03485b42c92bf1Tinderbox Userall: hets
e5a6871cd0635ecdb2bf792316a2d8c53206f4b2Tinderbox User
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox User####################################################################
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox User## Some varibles, which control the compilation
03ebc228ee3725738b067b6bd7082a9a731822a1Tinderbox User
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontINCLUDE_PATH =
e676a596869d8a80a644c99a848afb53d1c5975eMark AndrewsHAIFA_PATHS = Network Network/Server Org Org/W3 Org/W3/N2001 \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Org/Xmlsoap Org/Xmlsoap/Schemas Org/Xmlsoap/Schemas/Soap \
b91d11bfcc30b96f2c80f3a76d12e3dcc8597a68Mark Andrews    Text Text/XML Text/XML/HXT Text/XML/Schema Text/XML/Schema/TypeMapper \
d5637bdbb931ff79fced3d4858d83212ea58ed15Tinderbox User    Text/XML/Serializer
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsSOURCE_PATHS = . utils/itcor \
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
d5637bdbb931ff79fced3d4858d83212ea58ed15Tinderbox User    Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    CspCASL ATC Proofs Comorphisms Isabelle Driver Modifications \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Taxonomy CASL_DL SoftFOL OWL OMDoc PGIP Propositional RelationalScheme \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    DL VSE
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt# the 'replacing spaces' example was taken from the (GNU) Make info manual
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsempty =
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userspace = $(empty) $(empty)
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrews
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark AndrewsDRIFT_ENV = DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# override on commandline for other architectures
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserINSTALLDIR = \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark AndrewsDRIFT_deps = utils/DrIFT-src/*hs
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan HuntGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox UserINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
03ebc228ee3725738b067b6bd7082a9a731822a1Tinderbox User    Common/Doc.hs CASL/ToDoc.hs Modal/AS_Modal.hs \
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan Hunt    Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
827f8cccb5280f4da66c46186e792d1cb9d73503Mark AndrewsHC = ghc
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntHCPKG = ghc-pkg
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterPERL = perl
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontHAPPY = happy -sga
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterGENRULES = utils/genRules
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User    -i Data.Typeable -i Common.ATerm.Lib
827f8cccb5280f4da66c46186e792d1cb9d73503Mark AndrewsDRIFT = utils/DrIFT
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntINLINEAXIOMS = utils/outlineAxioms
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox UserHADDOCK = haddock
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updater
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontOSBYUNAME = $(shell uname)
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updaterifneq ($(findstring SunOS, $(OSBYUNAME)),)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTAR = gtar
cdfc81e048bd34c1d628380247bda6b80a89e20eAutomatic UpdaterPATCH = gpatch
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrewselse
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan HuntTAR = tar
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsPATCH = patch
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsendif
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updater
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsARCH = $(subst $(space),,$(shell uname -m))
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark AndrewsSETUP = utils/Setup
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan HuntSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterSETUPPACKAGE = ../$(SETUP) clean; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    ../$(SETUP) configure $(SETUPPREFIX) --user; \
eabc9c3c07cd956d3c436bd7614cb162dabdda76Mark Andrews    ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install --user
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark AndrewsHAXMLVERSION = $(shell $(HCPKG) field HaXml version)
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Huntifneq ($(findstring 1.13., $(HAXMLVERSION)),)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHAXML_PACKAGE = -package HaXml -DHAXML_PACKAGE
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox Userendif
03ebc228ee3725738b067b6bd7082a9a731822a1Tinderbox User
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews# remove -fno-warn-orphans for older ghcs and add -ifgl
b91d11bfcc30b96f2c80f3a76d12e3dcc8597a68Mark AndrewsHC_WARN = -Wall -fno-warn-orphans
b91d11bfcc30b96f2c80f3a76d12e3dcc8597a68Mark AndrewsHC_FLAGS = $(HC_WARN) -fglasgow-exts -fallow-overlapping-instances
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews# -ddump-minimal-imports
2ae159b376dac23870d8005563c585acf85a4b5aEvan Hunt# uncomment to above line to generate .imports files for displayDependencyGraph
2ae159b376dac23870d8005563c585acf85a4b5aEvan Hunt
2ae159b376dac23870d8005563c585acf85a4b5aEvan HuntHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Huntlogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SoftFOL \
2ae159b376dac23870d8005563c585acf85a4b5aEvan Hunt     ConstraintCASL Propositional OWL DL RelationalScheme VSE
7cc0a5d21ef046bfd630c4769943d896a7d7472cTinderbox User
e76dfff967cfbe00f4d1540434832e4499a9cd83Tinderbox UserTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
549c517e2ecad52bb1d32f08920e29d4e8cda71eTinderbox User    ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
549c517e2ecad52bb1d32f08920e29d4e8cda71eTinderbox User    Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
549c517e2ecad52bb1d32f08920e29d4e8cda71eTinderbox User    SoftFOL/tests/soapTest.hs Comorphisms/test/sublogicGraph.hs \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    SoftFOL/dfg.hs
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox User
827f8cccb5280f4da66c46186e792d1cb9d73503Mark AndrewsUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrewsifneq ($(strip $(UNI_PACKAGE_CONF)),)
b91d11bfcc30b96f2c80f3a76d12e3dcc8597a68Mark AndrewsHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    -package uni-server -DUNI_PACKAGE
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox User
aef6cf0f147a5014d4891c9689b9f463399e16e7Tinderbox User# some modules from uni for haddock
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews# if uni/server is included also HaXml sources are needed
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Useruni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson    ../uni/reactor ../uni/util ../uni/posixutil
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrewsuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    $(wildcard ../uni/htk/haddock/*/*.hs)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTESTTARGETFILES += OWL/OWL11Parser.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    Taxonomy/taxonomyTool.hs SoftFOL/tests/CMDL_tests.hs
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrewsendif
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt### list of directories to run checks in
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTESTDIRS += Common CASL HasCASL test
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafssonhs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan HuntPFE_TOOLDIR = $(wildcard ../programatica/tools)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsifneq ($(strip $(PFE_TOOLDIR)),)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson    base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews    base/transforms base/transforms/Deriving property \
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    property/syntax property/AST property/transforms \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    property/TI property/defs property/parse2 property/parse2/Parser
28a5dd720187fddb16055a0f64b63a7b66f29f64Mark Andrews
03ebc228ee3725738b067b6bd7082a9a731822a1Tinderbox UserPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrewspfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox UserPFE_PATH = $(addprefix -i, $(PFE_PATHS))
a450977e98155f6e828fe6f8d52cf24674231831Mark AndrewsPFE_FLAGS = -package programatica -DPROGRAMATICA
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrewshappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox UserLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrewsprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
2a31bd531072824ef252c18303859d6af7451b00Francis Dupont            $(LEX_DIR)/HsLex.hs $(SETUP)
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox User    @if $(HCPKG) field programatica version; then \
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews          echo "of programatica package found"; else \
2a31bd531072824ef252c18303859d6af7451b00Francis Dupont          ($(PATCH) -usNlp0 -d $(PFE_TOOLDIR) \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews            -i `pwd`/Haskell/Programatica.patch || exit 0); \
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox User          cp -f utils/programatica.cabal ../programatica/tools; \
5747235bf35e7398984fd6b4632743396895ea7aTinderbox User          cp -f $(SETUP) ../programatica/tools; \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          (cd ../programatica/tools; \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews           ./Setup configure $(SETUPPREFIX); \
a03cb08d0c4f1ca5fbc121d2f02bdffa7eb52286Mark Andrews           ./Setup build; ./Setup install --user) fi
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    echo "{-# OPTIONS -w #-}" > $@
7f9e2fff07b9c17e0d7a0ea7abc9304ce9d01b61Tinderbox User    $< >> $@
5747235bf35e7398984fd6b4632743396895ea7aTinderbox User
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    $(LEX_DIR)/HsTokens.hs
549c517e2ecad52bb1d32f08920e29d4e8cda71eTinderbox User    $(HC) --make -fno-monomorphism-restriction -O \
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews           -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews           -i$(PFE_TOOLDIR)/base/lib \
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews       -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox User              $@.hs -o $@
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews    strip $@
01a5c5503482fb3ba52088bf0178a7213273bf96Mark Andrews
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox Userlogics += Haskell
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox Userderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(LEX_DIR)Gen/HsLexerGen
cdfc81e048bd34c1d628380247bda6b80a89e20eAutomatic Updater
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrewsutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    $(HC) --make -o $@ $<
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
fe80a4909bf62b602feaf246866e9d29f7654194Automatic Updater    Haskell/ProgramaticaPrelude.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews## rule for appendHaskellPreludeString
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan HuntHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(APPENDPRELUDESTRING)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(RM) $@
fa0326cc2cf428f67575b6ba3b97b528a31b0010Tinderbox User    $(APPENDPRELUDESTRING) < $< > $@
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    chmod 444 $@
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan HuntAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    HsModule HsName HsLiteral HsIdent
fe80a4909bf62b602feaf246866e9d29f7654194Automatic Updater
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User#files in base/TI/
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
91216cff91b34c9ff6e846dc23f248219cafe660Andreas GustafssonOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews    base/parse2/SourceNames base/syntax/SyntaxRec \
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    property/syntax/PropSyntaxStruct
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserHaskell_files = $(addsuffix .hs, \
dd65eb1efb40b1c47d57963192bfc54873b219beAutomatic Updater    $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt## rule for ATC generation
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
133e6d43fa82e80d3798be4de00f4540f485ec6cAutomatic Updater
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userhs_der_files += $(hs_clean_files)
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan HuntTESTDIRS += ToHaskell
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userendif
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt### Profiling (only for debugging)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### Attention every module must be compiled with profiling or the linker
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User### cannot link the various .o files properly. So after switching on
5f7586ddbd3edd11272cdd30ed613d936129328bTinderbox User### Profiling, do an 'gmake real_clean; gmake'
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User### Comment in the following line for switching on profiling.
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PROF) $(HAXML_PACKAGE) $(HC_PACKAGE) \
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox User  $(PFE_FLAGS) -DCASLEXTENSIONS -threaded
ac2e2800b4ac9cbe4cb756d967f4583c611eb75eMark Andrews
5affecff6e148a8e124d03f5dbac0da11e30dcc5Tinderbox User####################################################################
5affecff6e148a8e124d03f5dbac0da11e30dcc5Tinderbox User## sources for hets
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
5affecff6e148a8e124d03f5dbac0da11e30dcc5Tinderbox Usernon_sources = Common/LaTeX_maps.svmono.hs Common/CaslLanguage.hs ./Test.hs \
bac4435d473c9a0281507524f084480c34aa942aTinderbox User    $(SETUP).hs
1fce11b1d3f2d461d261156b8cdc64ab864f06a9Tinderbox User
fab54780409846f7c71f6026d665f18c77c649efTinderbox Usersources = hets.hs $(filter-out $(non_sources), \
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews    $(wildcard $(addsuffix /[A-Z]*hs, $(SOURCE_PATHS))))
7ca715ad1587a68a531ea1cdea07515d7232567eTinderbox User
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox Userobjects = $(sources:%.hs=%.o)
8711e5c73ca872d59810760af0332194cbdd619bAutomatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updaterdrifted_files = Common/AS_Annotation.hs \
689fb19ba11ed40363cbc031d0396befdb409b89Tinderbox User    CASL/AS_Basic_CASL.hs Modal/AS_Modal.hs \
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews    Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
933799f3641f4f78445d015008bad0038900a82aTinderbox User    Propositional/AS_BASIC_Propositional.hs \
8e5fce1f9ceba17dd7e3ff0eb287e1e999c14249Mark Andrews    CoCASL/AS_CoCASL.hs COL/AS_COL.hs \
933799f3641f4f78445d015008bad0038900a82aTinderbox User    CASL_DL/AS_CASL_DL.hs OWL/ReadWrite.hs \
4151211e6649332f7b5a55870cbe37128bcc7b29Tinderbox User    CspCASL/AS_CspCASL_Process.hs CspCASL/AS_CspCASL.hs \
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews    DL/AS.hs RelationalScheme/AS.hs \
ac2e2800b4ac9cbe4cb756d967f4583c611eb75eMark Andrews    $(gendrifted_files)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updateratc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
f525041ae26958385b697cf82a30f108577024b6Tinderbox User    Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
b02be031b9ff37b042adc8e68e36b8bbc1f672b7Tinderbox User    Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    Logic/Prover.hs Common/ExtSign.hs Static/DevGraph.hs
ba8b771c371967dd1254c7fa82ebe4158ee04b24Tinderbox User
59528addd704f8d5757b54e540520f74e588a7c7Automatic Updateratc_der_files = $(foreach file, $(atc_files), \
3ec8f7777ea2b04fc1ebb63077f0916f63b1011aTinderbox User    ATC/$(basename $(basename $(notdir $(file)))).der.hs)
c218e22e3e6cbd409b61a14f1480b5ce5c70bfc1Tinderbox User
b02be031b9ff37b042adc8e68e36b8bbc1f672b7Tinderbox UserATC/Id.der.hs: Common/Id.hs $(GENRULES)
933799f3641f4f78445d015008bad0038900a82aTinderbox User    $(GENRULECALL) -o $@ $<
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
19b3dc94bce93fa76bd7e066f9298630dbc9dcb4Automatic UpdaterATC/Result.der.hs: Common/Result.hs $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -o $@ $<
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updater
ecbc7ebb243a1f8a5dc6f28185ffe9e61d3b2102Mark AndrewsATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -o $@ $<
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
bac4435d473c9a0281507524f084480c34aa942aTinderbox UserATC/ExtSign.der.hs: Common/ExtSign.hs $(GENRULES)
39ae0eafed076ef769fef5c18b22a8051df5c93aTinderbox User    $(GENRULECALL) -o $@ $<
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews
c2abd6efeb9affa70aabb63da2acb23e135cf7f2Mark AndrewsATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    $(GENRULECALL) -o $@ $<
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
f525041ae26958385b697cf82a30f108577024b6Tinderbox UserATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
9cd5eb6fe0f26d65724b99216cb31dcdd12e4afdAutomatic Updater
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
5e82fe9a56d17bfbd120817d00d28c5952ab4ddcTinderbox User    $(GENRULECALL) -i ATC.AS_Structured -o $@ $<
4cda4fd158d6ded5586bacea8c388445d99611eaAutomatic Updater
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
f2f7a53ba0ba69cfe8c505eea16f71bad9d8d449Tinderbox User    $(GENRULECALL) -i ATC.AS_Architecture -o $@ $<
c26604a73c4ce907ef6392f38b3fac838b1873a9Tinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $<
a2c370ca12bb0360ff7e969474ead3f788c65fffTinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    $(GENRULECALL) -x Logic.Prover.ProverTemplate \
7d638dd31ecb633aaefca994b60b70c58b5def03Tinderbox User            -i ATC.AS_Annotation -o $@ $<
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
ba8b771c371967dd1254c7fa82ebe4158ee04b24Tinderbox UserATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    $(GENRULECALL) -i ATC.AS_Library -i ATC.Grothendieck -o $@ $<
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
76408aae412cda298c5e43da0eebb23c875a4426Tinderbox UserCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
7f9e2fff07b9c17e0d7a0ea7abc9304ce9d01b61Tinderbox User    CASL/AS_Basic_CASL.der.hs
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
5affecff6e148a8e124d03f5dbac0da11e30dcc5Tinderbox UserHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsIsabelle_files = Isabelle/IsaSign.hs
da59e63e7af147a8bcef985b98b04443e04c3a0eTinderbox User
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox UserPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
757ff043760e4743dda1a10e7d58349275934902Tinderbox User    Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
a2c370ca12bb0360ff7e969474ead3f788c65fffTinderbox User    Propositional/Sublogic.hs
a2c370ca12bb0360ff7e969474ead3f788c65fffTinderbox User
a03cb08d0c4f1ca5fbc121d2f02bdffa7eb52286Mark AndrewsDL_files = DL/AS.hs DL/Sign.hs
757ff043760e4743dda1a10e7d58349275934902Tinderbox User
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic UpdaterRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
a2c370ca12bb0360ff7e969474ead3f788c65fffTinderbox User
5affecff6e148a8e124d03f5dbac0da11e30dcc5Tinderbox UserModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
91216cff91b34c9ff6e846dc23f248219cafe660Andreas GustafssonConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
a2c370ca12bb0360ff7e969474ead3f788c65fffTinderbox UserCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
5affecff6e148a8e124d03f5dbac0da11e30dcc5Tinderbox UserCOL_files = COL/AS_COL.hs COL/COLSign.hs
5affecff6e148a8e124d03f5dbac0da11e30dcc5Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
ba8b771c371967dd1254c7fa82ebe4158ee04b24Tinderbox User    CspCASL/SignCSP.hs
a2c370ca12bb0360ff7e969474ead3f788c65fffTinderbox User
f520803b46dc189fdaf84adc87ef327d3587b435Mark AndrewsCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox UserSoftFOL_files = SoftFOL/Sign.hs
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox UserOWL_files = OWL/Sign.hs
03ebc228ee3725738b067b6bd7082a9a731822a1Tinderbox UserVSE_files = VSE/As.hs
3857cb6fcabeb79d85de4b3e3e4ab99912b701f8Mark Andrews
e40c4e4c17d4df338e2a7db0f84d8dbb3858964cTinderbox Useratc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
e64202536ea72d8f371dd0df9fc763f8d70bf886Tinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrewsgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafssongendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrewsinline_axiom_files = Comorphisms/CASL2PCFOL.hs \
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox User
ebdf202f2198158ab4d30f22c370a9c63760d071Tinderbox Usergen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
8292deab031e7599cd7622aa7675fbe139ca6095Mark Andrews
c1e2310a3725eeed45e5e7c86750c64c5a02e993Francis Dupontderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
c1e2310a3725eeed45e5e7c86750c64c5a02e993Francis Dupont    $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files)
c1e2310a3725eeed45e5e7c86750c64c5a02e993Francis Dupont
549c517e2ecad52bb1d32f08920e29d4e8cda71eTinderbox User# sources that have {-# OPTIONS -cpp #-}
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrewscpp_sources = \
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    CASL/Logic_CASL.hs Isabelle/CreateTheories.hs \
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews    SoftFOL/Logic_SoftFOL.hs GUI/Utils.hs Driver/WriteFn.hs \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    Propositional/Logic_Propositional.hs \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    Comorphisms/KnownProvers.hs hets.hs $(happy_files) \
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews    PGIP/InfoCommands.hs OWL/Logic_OWL11.hs
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews# unused, remove when header files are gone
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupontgenrule_header_files = $(wildcard ATC/*.header.hs)
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrewsnondoc_sources = $(wildcard utils/DrIFT-src/*.hs) \
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews    $(wildcard utils/DrIFT-src/*.lhs) \
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    $(wildcard utils/GenerateRules/*.hs) \
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews    $(wildcard utils/InlineAxioms/*.hs) \
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews    $(wildcard utils/itcor/*.hs) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updater    $(genrule_header_files) $(generated_rule_files) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews    Modal/GeneratePatterns.inline.hs \
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    SoftFOL/MathServCommunication.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(patsubst %.hs, %.der.hs, $(drifted_files))
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updater
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewshspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt# this variable holds the modules that should be documented
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updatertax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunttax_objects = $(patsubst %.hs, %.o, $(tax_sources))
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews####################################################################
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### targets
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    real_clean bin_clean package_clean distclean packages \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    base64_pkg http_pkg syb_pkg shellac_pkg shread_pkg shcompat_pkg \
b30ec46fec40a1b246f7965fbcd341fc6cfd1cc1Mark Andrews    tagsoup_pkg hxt_pkg hxtfilter_pkg haifa_pkg programatica_pkg \
39cad8fb7d7ff3436bb24ce761354afcb80d295aMark Andrews    maintainer-clean annos \
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews    check capa hacapa h2h h2hf showKP clean_genRules genRules \
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews    count doc apache_doc post_doc4apache fromKif \
01a5c5503482fb3ba52088bf0178a7213273bf96Mark Andrews    derivedSources install_hets install release cgi ghci
03ebc228ee3725738b067b6bd7082a9a731822a1Tinderbox User
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews
fec6e13f2d1e69fe1c2b8fac36f732f124cf5398Mark Andrews$(SETUP): utils/Setup.hs
e64202536ea72d8f371dd0df9fc763f8d70bf886Tinderbox User    $(HC) --make -O -o $@ $<
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox User
03ebc228ee3725738b067b6bd7082a9a731822a1Tinderbox Userpackages: base64_pkg http_pkg syb_pkg shellac_pkg shread_pkg shcompat_pkg \
59528addd704f8d5757b54e540520f74e588a7c7Automatic Updater  tagsoup_pkg hxt_pkg hxtfilter_pkg haifa_pkg programatica_pkg
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
fab54780409846f7c71f6026d665f18c77c649efTinderbox Userbase64_pkg: utils/dataenc-0.11.tar.gz $(SETUP)
757ff043760e4743dda1a10e7d58349275934902Tinderbox User    @if $(HCPKG) field dataenc version; then \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          echo "of dataenc package found"; else \
827f8cccb5280f4da66c46186e792d1cb9d73503Mark Andrews          $(RM) -r dataenc-0.11; \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          $(TAR) zxf utils/dataenc-0.11.tar.gz; \
933799f3641f4f78445d015008bad0038900a82aTinderbox User          (cd dataenc-0.11; $(SETUPPACKAGE)) fi
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Duponthttp_pkg: utils/HTTP-3001.0.4.tar.gz $(SETUP)
7f79131f9a8e804b93c57f3c679065cce878b726Automatic Updater    @if $(HCPKG) field HTTP version; then \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          echo "of HTTP package found"; else \
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson          $(RM) -r HTTP-3001.0.4; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          $(TAR) zxf utils/HTTP-3001.0.4.tar.gz; \
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews          (cd HTTP-3001.0.4; $(SETUPPACKAGE)) fi
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewssyb_pkg: $(SETUP)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field syb-generics version; then \
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrews          echo "of syb-generics package found"; else \
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews          (cd syb-generics; $(SETUPPACKAGE)) fi
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsshellac_pkg: utils/shellac.tgz $(SETUP)
3a988722ad9e209ba4064604d482dc4efe0e19ebTinderbox User    @if $(HCPKG) field Shellac version; then \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          echo "of Shellac package found"; else \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(RM) -r shellac; \
a3ffa9ab0644ae2b52f2e13a00b5e85b879f612fTinderbox User          $(TAR) zxf utils/shellac.tgz; \
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont          (cd shellac; $(SETUPPACKAGE)) fi
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
1bf507ca635310b340aea42d6c3e567819974a99Tinderbox Userifneq ($(findstring Darwin, $(OSBYUNAME)),)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsshread_pkg: utils/Shellac-editline-0.9.tar.gz $(SETUP) shellac_pkg
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field Shellac-editline version; then \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          echo "of Shellac-editline package found"; else \
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews          $(RM) -r Shellac-editline-0.9; \
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt          $(TAR) zxf utils/Shellac-editline-0.9.tar.gz; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          (cd Shellac-editline-0.9; $(SETUPPACKAGE)) fi
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox Userelse
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox Usershread_pkg: utils/shread.tgz $(SETUP) shellac_pkg
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    @if $(HCPKG) field Shellac-readline version; then \
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews          echo "of Shellac-readline package found"; else \
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews          $(RM) -r shread; \
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews          $(TAR) zxf utils/shread.tgz; \
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews          (cd shread; $(SETUPPACKAGE)) fi
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrewsendif
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupontshcompat_pkg: utils/shcompat.tgz $(SETUP) shread_pkg
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    @if $(HCPKG) field Shellac-compatline version; then \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews          echo "of Shellac-compatline package found"; else \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(RM) -r shcompat; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(TAR) zxf utils/shcompat.tgz; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          (cd shcompat; $(SETUPPACKAGE)) fi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtontagsoup_pkg: utils/tagsoup-0.6.tar.gz $(SETUP)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @if $(HCPKG) field tagsoup version; then \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          echo "of tagsoup package found"; else \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(RM) -r tagsoup-0.6; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(TAR) zxf utils/tagsoup-0.6.tar.gz; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          (cd tagsoup-0.6; $(SETUPPACKAGE)) fi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhxt_pkg: utils/hxt-8.0.0.tar.gz $(SETUP) http_pkg tagsoup_pkg
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @if $(HCPKG) field hxt version; then \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          echo "of hxt package found"; else \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(RM) -r hxt-8.0.0; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(TAR) zxf utils/hxt-8.0.0.tar.gz; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          (cd hxt-8.0.0; $(SETUPPACKAGE)) fi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhxtfilter_pkg: utils/hxt-filter-8.0.0.tar.gz $(SETUP) hxt_pkg
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @if $(HCPKG) field hxt-filter version; then \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          echo "of hxt-filter package found"; else \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(RM) -r hxt-filter-8.0.0; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(TAR) zxf utils/hxt-filter-8.0.0.tar.gz; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          (cd hxt-filter-8.0.0; $(SETUPPACKAGE)) fi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhaifa_pkg: $(SETUP) base64_pkg hxtfilter_pkg syb_pkg
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @if $(HCPKG) field HAIFA version; then \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          echo "of HAIFA package found"; else \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          (cd haifa-lite; $(SETUPPACKAGE)) fi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonprogramatica_pkg:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets-opt:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) distclean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) derivedSources
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) clean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) hets-optimized
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets-optimized: $(derived_sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC) --make -O -o hets hets.hs $(HC_OPTS)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    strip hets
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets-old: $(objects)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC) -o hets $(HC_OPTS) $(objects)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtoncgi:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) distclean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) derivedSources
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) real_clean
f520803b46dc189fdaf84adc87ef327d3587b435Mark Andrews    $(MAKE) hets.cgi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewshets.cgi: $(sources) GUI/hets_cgi.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews    strip hets.cgi
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewshets_maintainers.txt: $(sources)
646fed0d28be4387e3e32fb0f5732a1f58b572baTinderbox User    @echo 'File : Maintainer' > $@
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    @echo -n Generating $@ " "
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    @egrep -m 1 "Maintainer" $(sources) | \
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater          sed -e 's/: *Maintainer *: */ : /' >> $@
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    @echo " done"
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater###############################
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User### count lines of code
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updatercount: $(sources)
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    wc -l $(sources)
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater###############################
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater### Documentation via haddock
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updaterdoc: docs/index.html
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater# generate haddock documentation with links to sources
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater# the interface treatment is stolen from uni/mk/suffix.mk
b30ec46fec40a1b246f7965fbcd341fc6cfd1cc1Mark Andrewsdocs/index.html: $(doc_sources)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    $(RM) -r docs
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    mkdir docs
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    cp -r -L ../uni/www docs/www || mkdir docs/www
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    HINTERFACES0=`find -L docs/www -name '*.haddock' \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User           -printf "--read-interface=www/%P,%p "` ; \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User        HINTERFACES=`echo $$HINTERFACES0 | \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User           $(PERL) -pe 's+/[^/]*.haddock,+,+g'` ; \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User        $(HADDOCK) -o docs -h -v -s ../%F $$HINTERFACES \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User            -t 'Hets - the Heterogeneous Tool Set' \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User            -p Hets-Haddock-Prologue.txt $(doc_sources)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User# sources are not copied here
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupontapache_doc:
a450977e98155f6e828fe6f8d52cf24674231831Mark Andrews    $(RM) -r docs
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    cvs up -d ; echo "CVS exited with: " $$?
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    $(MAKE) hets-opt
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    $(MAKE) doc
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    $(MAKE) post_doc4apache
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(MAKE) o_clean
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(MAKE) hets.cgi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewspost_doc4apache:
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) -r a-docs
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews    cp -r docs a-docs
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    $(PERL) utils/post_process_docs.pl a-docs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            'Common.Lib.Map.html:Common.Lib._Map.html'
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    $(PERL) utils/post_process_docs.pl a-docs \
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont            'Data.Map.html:Data._Map.html'
a3ffa9ab0644ae2b52f2e13a00b5e85b879f612fTinderbox User
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont###############################
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont### release management
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontderivedSources: $(derived_sources) $(hspp_sources)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews$(DRIFT): $(DRIFT_deps)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            strip ../DrIFT)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews$(GENRULES): $(DRIFT) $(GENERATERULES_deps)
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    (cd utils/GenerateRules; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User                GenerateRules.hs -o ../genRules && strip ../genRules)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont# "-package hssource" for ghc-5.04.2
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont$(INLINEAXIOMS): $(INLINEAXIOMS_deps)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont            -i../.. -o $(INLINEAXIOMS)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    strip $(INLINEAXIOMS)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontREV = trunk
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsrelease:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) -r Hets
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) -r uni
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    if [ -d ../uni ] ; then ln -s ../uni uni ; fi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) -r programatica
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    if [ -d ../programatica ] ; then \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            mkdir programatica; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            ln -s ../../programatica/tools programatica/tools ; fi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            cp Makefile Makefile.orig; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            cp ReleaseMakefile Makefile; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            ./clean.sh; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            $(RM) clean.*; utils/replaceAllHeaders.sh)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(TAR) cvf Hets.tar Hets
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtoninstall-hets:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    chmod g+w hets
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    cp -p version_nr $(INSTALLDIR)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    (cd $(INSTALLDIR); $(RM) hets; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington        ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsinstall: hets-opt install-hets
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewspack/install-%.jar: pack/install-%.xml pack/UserInputSpec-%.xml hets.in hets
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews       ## TODO: add more dependencies and use hets-opt
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    compile $< -b . -k standard -o $@
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews#   compile $< -b . -k web -o $@
33d1cff1dd63494ffa00fac695a793f00c4ebf0bTinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews###################################
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### Common/LaTeX_maps.hs generation
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsutils/genItCorrections: $(GENITCORRECTIONS_deps)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(HC) --make -o $@ $<
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews    strip $@
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewspretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    @echo -n "Generating pretty/LaTeX_maps.hs ... "
bac4435d473c9a0281507524f084480c34aa942aTinderbox User    @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    @(cd pretty >/dev/null; ../utils/genItCorrections \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            gen_it_characters gen_it_words >> LaTeX_maps.hs)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    @echo "ready"
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    @echo "please copy the file manually to Common"
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington#############################
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### ATC DrIFT-rule generation
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtongenRules: $(generated_rule_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
b7aab05edae933e169d5f83c653935b17c7f0a8bMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonDL/ATC_DL.der.hs: $(DL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(DL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
409ba95e573b40cf36acf97dd62ee7e9c7775851Tinderbox UserRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -o $@ $(Isabelle_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark AndrewsModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic UpdaterCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
3759f10fc543747668b1ca4b4671f35b0dea8445Francis DupontCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic UpdaterSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
6d114a4c5cddb176ae5199eee154c0273d652ba4Tinderbox User
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox UserOWL/ATC_OWL.der.hs: $(OWL_files) $(GENRULES)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(GENRULECALL) -i OWL.ReadWrite -o $@ $(OWL_files)
0e91f17da8a29086876a88962e0a3482094b6057Evan Hunt
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsVSE/ATC_VSE.der.hs: $(VSE_files) $(GENRULES)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupontclean_genRules:
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews            $(hs_clean_files)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont###############
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont### clean up
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupontclean: bin_clean o_clean clean_pretty
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont### removes all *.o, *.hi and *.p_o files in all subdirectories
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Duponto_clean:
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    find . -name \*.o -o -name \*.hi -o -name \*.p_o | xargs $(RM)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### remove binaries
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrewsbin_clean:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) hets
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(RM) hets.cgi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) $(SETUP)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(RM) $(TESTTARGETS)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrewsclean_pretty:
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews               pretty/generated_words.tex
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### additionally removes the library files
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonreal_clean: clean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### clean user packages
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonpackage_clean:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HCPKG) unregister HAIFA --user || exit 0
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HCPKG) unregister programatica --user || exit 0
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HCPKG) unregister hxt-filter --user || exit 0
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HCPKG) unregister hxt --user || exit 0
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HCPKG) unregister tagsoup --user || exit 0
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HCPKG) unregister Shellac-compatline --user || exit 0
a450977e98155f6e828fe6f8d52cf24674231831Mark Andrews    $(HCPKG) unregister Shellac-readline --user || exit 0
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(HCPKG) unregister HTTP --user || exit 0
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(HCPKG) unregister syb-generics --user || exit 0
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(HCPKG) unregister Shellac --user || exit 0
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews    $(HCPKG) unregister dataenc --user || exit 0
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### additionally removes generated files not in the CVS tree
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupontdistclean: clean clean_genRules
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) $(derived_sources)
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont    $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
757ff043760e4743dda1a10e7d58349275934902Tinderbox Usermaintainer-clean: distclean package_clean
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews####################################################################
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews### test targets
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt####################################################################
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### interactive
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupontghci: $(derived_sources)
22d32791e5daa0bc80335a0f10ab2de95f41ccdbTinderbox User    $(HC)i $(HC_OPTS)
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
646fed0d28be4387e3e32fb0f5732a1f58b572baTinderbox User### christian's target
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### CASL parser
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsfromKif: CASL/fromKif
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### Annos parser
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsannos: Common/annos
e813f036c8251b6d9d2a72fa84f80c2c9d2795afMark Andrews
30370d905e9be3be7d9b947fd432bacecbb13bb9Evan Hunt### CASL parser
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewscapa: CASL/capa
1fdd58445074579ee3b65c871137a7a1740eb542Mark Andrews
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User### HasCASL parser
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox Userhacapa: HasCASL/hacapa
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User### Haskell analysis
cc5a9ce75af9870f2cb9e2bf00548c2f7e6398d6Automatic Updaterhana: Haskell/hana
3759f10fc543747668b1ca4b4671f35b0dea8445Francis Dupont
ec8755f605d7dcb2de1076040e77bc2d7ec33b4aTinderbox User### Haskell to Isabelle-HOLCF translation
bac4435d473c9a0281507524f084480c34aa942aTinderbox Userh2hf: Haskell/h2hf
ba8b771c371967dd1254c7fa82ebe4158ee04b24Tinderbox User
2beefc22e6debdb72d7b2a069787ff565fc79ec4Tinderbox UserHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater    Common/Lib/*.hs Comorphisms/*.hs
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater    $(HC) -O --make -o $@ $< $(HC_FLAGS) $(PFE_FLAGS)
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater### HasCASL to Haskell translation
91faa748a27dee38f6caea461d3e87f15b93abeaTinderbox Userh2h: Haskell/h2h
1a63fb1d1448ed3f8fd7227ae57be67c2e71279eMark Andrews
1a63fb1d1448ed3f8fd7227ae57be67c2e71279eMark Andrews### test program to check the known provers
9e898948ed76bf5f175bf178866c90c449843c3eTinderbox UsershowKP: Comorphisms/test/showKP
f33f2b8afe60de897c53cdcb17911f10b552699fTinderbox User
ae454ec746d1d4db8d04e107d4d25ff13158c37fMark Andrews### run tests in other directories
ae454ec746d1d4db8d04e107d4d25ff13158c37fMark Andrewscheck: $(TESTTARGETS)
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews####################################################################
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews## Preparing the version of Hets
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark AndrewsDriver/Version.hs: Driver/Version.in version_nr
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    $(RM) $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    LANG=C $(PERL) utils/build_version.pl version_nr \
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews            < Driver/Version.in > $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    chmod 444 $@
7c8e44a2dc1121dbe3b615c9c934f37fb1741bb9Tinderbox User
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User## two hardcoded dependencies for a correct generation of Version.hs
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox UserDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
861836e5f5df62bfaea9ad8923a05278d5ab2f3dTinderbox Userhets.hs: Driver/Version.hs
e8c17c74535be290abaaa160a434ed80bf0ad2feMark Andrews
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox UserATC/DevGraph.hs: Static/DevGraph.hs
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic Updater
f4ee48be3994797a8332b86c101db4d7b54799ceTinderbox User## two dependencies for avoidence of circular prerequisites
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic UpdaterCASL_DEPENDENT_BINARIES= hets CASL/capa CASL/fromKif \
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic Updater   Common/annos Common/test_parser Comorphisms/test/showKP \
9e898948ed76bf5f175bf178866c90c449843c3eTinderbox User   CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
f4ee48be3994797a8332b86c101db4d7b54799ceTinderbox User   Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
2beefc22e6debdb72d7b2a069787ff565fc79ec4Tinderbox User$(CASL_DEPENDENT_BINARIES): $(sources) $(derived_sources)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater# CASL_DL/Logic.hs: CASL_DL/PredefinedSign.hs
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater####################################################################
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## rules for DrIFT
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater.SUFFIXES:
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%: %.hs packages
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HC) --make -o $@ $< $(HC_OPTS)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.hs: %.y
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HAPPY) -o $@.tmp $<
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    echo "{-# OPTIONS -w #-}" > $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    cat $@.tmp >> $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@.tmp
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.hs: %.der.hs $(DRIFT)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    chmod 444 $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## rules for inlineAxioms
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.hs: %.inline.hs $(INLINEAXIOMS)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(INLINEAXIOMS) $< > $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    chmod 444 $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## rule for cpp and haddock
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.hspp: %.hs
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HC) -E -cpp -D__HADDOCK__ \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater            -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## compiling rules for object and interface files
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.o %.hi: %.hs
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HC) -c $< $(HC_OPTS)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.o %.hi: %.lhs
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HC) -c $< $(HC_OPTS)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## compiling rules for dependencies
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.d : %.hs
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
bbc0e1c4f47f101c4a64db3469352c49a49e734fTinderbox User%.d : %.lhs
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## generate the inline file for the predefined CASL_DL sign
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox UserCASL_DL/PredefinedSign.inline.hs:  \
bbc0e1c4f47f101c4a64db3469352c49a49e734fTinderbox User     CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
015055b6e23f5c08f6a5b34726f90b62597e9e45Tinderbox User     CASL_DL/PredDatatypes.het
7f9e2fff07b9c17e0d7a0ea7abc9304ce9d01b61Tinderbox User    $(RM) $@
3040b455151b1e1173193933664b2891b6159f24Mark Andrews    utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox User          < CASL_DL/PredefinedSign.inline.hs.in > $@
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater    echo "  )" >> $@
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark Andrews    chmod 444 $@
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark Andrews
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark Andrews# Warning: Don't change the order of the depencies!!
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark AndrewsCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater     CASL_DL/Datatypes.het
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    $(RM) $@
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    $(PERL) $+ > $@
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    chmod 444 $@
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
1404d301dd9e7e487a247b803f63909cd10cdf72Tinderbox User# uses intransparently utils/outlineAxioms
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox UserModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    utils/genTransMFormFunc.pl $(INLINEAXIOMS)
ec8755f605d7dcb2de1076040e77bc2d7ec33b4aTinderbox User    $(RM) $@
4ea3649f028ea6a1e42377082a7ccf8f789fb950Automatic Updater    $(PERL) utils/genTransMFormFunc.pl $< $@
40072ce70bc4125329addb4aaa56d18a1230bc17Automatic Updater    chmod 444 $@
60d5d17479b47c03b9c7c86f54269718103750b8Automatic Updater
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic UpdaterINSTALLER_DIR = ../installers
1404d301dd9e7e487a247b803f63909cd10cdf72Tinderbox User
1404d301dd9e7e487a247b803f63909cd10cdf72Tinderbox Userifeq ($(strip $(HETS_VERSION)),)
60d5d17479b47c03b9c7c86f54269718103750b8Automatic UpdaterHETS_VERSION := `cat version_nr`
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater# or `date +%F`
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updaterendif
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updaterinitialize_installer:
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    mkdir -p $(INSTALLER_DIR)
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater    sed "s/^\(HETS_VERSION =\).*/\1$(HETS_VERSION)/" Makefile.installer \
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater          > $(INSTALLER_DIR)/Makefile
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    @echo Please do
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    @echo "  -> cd $(INSTALLER_DIR)"
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    @echo "  -> make"
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater    @echo and wait until it is finished
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater