Makefile revision d0279930f87bf39843e0bd2992a4789322662144
c313914d0e66b20969215e519bbf2ab4ecf39512Tinderbox User# Makefile
c80e152862cc3e3207dc837fde7116bd4c0e4b9dTinderbox User# $Id$
c80e152862cc3e3207dc837fde7116bd4c0e4b9dTinderbox User# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
8d1b3ceb4d491ce32572f1702f37ed585eede993Evan Hunt# Year: 2004
8d1b3ceb4d491ce32572f1702f37ed585eede993Evan Hunt
d77cb075aae5595e460e3299bfc1e8ea5d42b560Evan Hunt# This Makefile will compile the new hets system and provides also
d77cb075aae5595e460e3299bfc1e8ea5d42b560Evan Hunt# targets for test programs during implementation phases.
30ca20f720ad0887772a79e7abb25b4fa0e4b5b0Mark Andrews
30ca20f720ad0887772a79e7abb25b4fa0e4b5b0Mark Andrews# !!! Note: This makefile is written for GNU make !!!
30ca20f720ad0887772a79e7abb25b4fa0e4b5b0Mark Andrews# (gmake on solaris)
30ca20f720ad0887772a79e7abb25b4fa0e4b5b0Mark Andrews
30ca20f720ad0887772a79e7abb25b4fa0e4b5b0Mark Andrewsall: hets
701a93f5a592e4652343e049aa495d409c3ee133Mark Andrews
7ec97ae74e42ec21b354fd2d1366313b41d947d6Evan Hunt####################################################################
701a93f5a592e4652343e049aa495d409c3ee133Mark Andrews## Some varibles, which control the compilation
701a93f5a592e4652343e049aa495d409c3ee133Mark Andrews
002f1373374a0b72fc0329baa682917929bef168Tony FinchINCLUDE_PATH =
002f1373374a0b72fc0329baa682917929bef168Tony FinchHAIFA_PATHS = Network Network/Server Org Org/W3 Org/W3/N2001 \
8f1ed05dc0aae7ae6c3da6ec6d405df61257a61eMark Andrews Org/Xmlsoap Org/Xmlsoap/Schemas Org/Xmlsoap/Schemas/Soap \
8f1ed05dc0aae7ae6c3da6ec6d405df61257a61eMark Andrews Text Text/XML Text/XML/HXT Text/XML/Schema Text/XML/Schema/TypeMapper \
8f1ed05dc0aae7ae6c3da6ec6d405df61257a61eMark Andrews Text/XML/Serializer
8f1ed05dc0aae7ae6c3da6ec6d405df61257a61eMark Andrews
8f1ed05dc0aae7ae6c3da6ec6d405df61257a61eMark AndrewsSOURCE_PATHS = . utils/itcor \
73cf0ba4e82c6baef638ecc4e31321223f841d28Mark Andrews utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
73cf0ba4e82c6baef638ecc4e31321223f841d28Mark Andrews Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
73cf0ba4e82c6baef638ecc4e31321223f841d28Mark Andrews Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
d8351dfc9b725b0d727be7acab6247d7d501d9a0Mark Andrews CspCASL ATC Proofs Comorphisms Isabelle Driver Modifications \
d8351dfc9b725b0d727be7acab6247d7d501d9a0Mark Andrews Taxonomy CASL_DL SoftFOL OWL OMDoc PGIP Propositional RelationalScheme \
d8351dfc9b725b0d727be7acab6247d7d501d9a0Mark Andrews DL VSE
3a29ce9c08dd31709c73e7187aebda0d360c537bEvan Hunt
3a29ce9c08dd31709c73e7187aebda0d360c537bEvan Hunt# the 'replacing spaces' example was taken from the (GNU) Make info manual
5c78f1f50e53d8e2ed51a187efc2c9a0f43b4b1bMark Andrewsempty =
f1740da065d4555039fe8bb53beb4153e3f94de3Mark Andrewsspace = $(empty) $(empty)
f1740da065d4555039fe8bb53beb4153e3f94de3Mark Andrews
f1740da065d4555039fe8bb53beb4153e3f94de3Mark AndrewsDRIFT_ENV = DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrews
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrews# override on commandline for other architectures
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark AndrewsINSTALLDIR = \
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrews /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrews
ad309e8dfa0601d6053aaa12770a98a6940f89deEvan HuntDRIFT_deps = utils/DrIFT-src/*hs
ad309e8dfa0601d6053aaa12770a98a6940f89deEvan HuntGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
635e4351b04fd61ca6d853bdac6268c090b55129Mark AndrewsGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
635e4351b04fd61ca6d853bdac6268c090b55129Mark AndrewsINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
fc04365d2f83f197c8a54545dd9cd4ce6a209940Mark Andrews Common/Doc.hs CASL/ToDoc.hs Modal/AS_Modal.hs \
fc04365d2f83f197c8a54545dd9cd4ce6a209940Mark Andrews Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
7cbac360bf98c0a52b2d6866ad887616c32d4d3aMark Andrews
7cbac360bf98c0a52b2d6866ad887616c32d4d3aMark AndrewsHC = ghc
7cbac360bf98c0a52b2d6866ad887616c32d4d3aMark AndrewsHCPKG = ghc-pkg
1cf118a656f5fd210787908b845362077fc507f8Evan HuntPERL = perl
1cf118a656f5fd210787908b845362077fc507f8Evan HuntHAPPY = happy -sga
1cf118a656f5fd210787908b845362077fc507f8Evan HuntGENRULES = utils/genRules
1cf118a656f5fd210787908b845362077fc507f8Evan HuntGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
1cf118a656f5fd210787908b845362077fc507f8Evan Hunt -i Data.Typeable -i Common.ATerm.Lib
1cf118a656f5fd210787908b845362077fc507f8Evan HuntDRIFT = utils/DrIFT
1cf118a656f5fd210787908b845362077fc507f8Evan HuntINLINEAXIOMS = utils/outlineAxioms
1cf118a656f5fd210787908b845362077fc507f8Evan HuntHADDOCK = haddock
6fb3db01acad7f5c1f4e23789fb0f2ce56cc07deMukund Sivaraman
6fb3db01acad7f5c1f4e23789fb0f2ce56cc07deMukund SivaramanOSBYUNAME = $(shell uname)
6fb3db01acad7f5c1f4e23789fb0f2ce56cc07deMukund Sivaramanifneq ($(findstring SunOS, $(OSBYUNAME)),)
fd82c70695888c134287b8018296028c252d100eMukund SivaramanTAR = gtar
fd82c70695888c134287b8018296028c252d100eMukund SivaramanPATCH = gpatch
fd82c70695888c134287b8018296028c252d100eMukund Sivaramanelse
fd82c70695888c134287b8018296028c252d100eMukund SivaramanTAR = tar
4a53e3c2b83c476a93148eaee0272649beb221caMark AndrewsPATCH = patch
4a53e3c2b83c476a93148eaee0272649beb221caMark Andrewsendif
4a53e3c2b83c476a93148eaee0272649beb221caMark Andrews
2cf0fe3b8092f64f8f68ae3693fe2e73e90ad1a4Mark AndrewsARCH = $(subst $(space),,$(shell uname -m))
2cf0fe3b8092f64f8f68ae3693fe2e73e90ad1a4Mark AndrewsSETUP = utils/Setup
2cf0fe3b8092f64f8f68ae3693fe2e73e90ad1a4Mark AndrewsSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
2cf0fe3b8092f64f8f68ae3693fe2e73e90ad1a4Mark Andrews
4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan HuntSETUPPACKAGE = ../$(SETUP) clean; \
4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan Hunt ../$(SETUP) configure $(SETUPPREFIX) --user; \
4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan Hunt ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install --user
4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan Hunt
4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan HuntHAXMLVERSION = $(shell $(HCPKG) field HaXml version)
f9c410d93711fbf312a0162f1e2d3f2a5ede69afFrancis Dupontifneq ($(findstring 1.13., $(HAXMLVERSION)),)
f9c410d93711fbf312a0162f1e2d3f2a5ede69afFrancis DupontHAXML_PACKAGE = -package HaXml -DHAXML_PACKAGE
f9c410d93711fbf312a0162f1e2d3f2a5ede69afFrancis Dupontendif
f9c410d93711fbf312a0162f1e2d3f2a5ede69afFrancis Dupont
e526027287b849f0b6ab6e069156697cbafa22c1Michał Kępień# remove -fno-warn-orphans for older ghcs and add -ifgl
e526027287b849f0b6ab6e069156697cbafa22c1Michał KępieńHC_WARN = -Wall -fno-warn-orphans
e526027287b849f0b6ab6e069156697cbafa22c1Michał KępieńHC_FLAGS = $(HC_WARN) -fglasgow-exts -fallow-overlapping-instances
e526027287b849f0b6ab6e069156697cbafa22c1Michał Kępień# -ddump-minimal-imports
929329d2d66a7e1083c70a9c918381935bf12799Mukund Sivaraman# uncomment to above line to generate .imports files for displayDependencyGraph
929329d2d66a7e1083c70a9c918381935bf12799Mukund Sivaraman
929329d2d66a7e1083c70a9c918381935bf12799Mukund SivaramanHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
7e1a62eea2e4ba9d6c3fc718e679b965fa514f69Mark Andrews
ec29d217ba3a2bf3e617a7b5b6708ae221bee999Mark Andrewslogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SoftFOL \
ec29d217ba3a2bf3e617a7b5b6708ae221bee999Mark Andrews ConstraintCASL Propositional OWL DL RelationalScheme VSE
afefd754734f896bf3e0590177fff83e7cdfdf35Mark Andrews
afefd754734f896bf3e0590177fff83e7cdfdf35Mark AndrewsTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
afefd754734f896bf3e0590177fff83e7cdfdf35Mark Andrews Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
f0353a586c2bfbae999193cb644b6bc94c7944d8Mark Andrews ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
f0353a586c2bfbae999193cb644b6bc94c7944d8Mark Andrews Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs \
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt SoftFOL/tests/soapTest.hs Comorphisms/test/sublogicGraph.hs \
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt SoftFOL/dfg.hs
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan HuntUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Huntifneq ($(strip $(UNI_PACKAGE_CONF)),)
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan HuntHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt -package uni-server -DUNI_PACKAGE
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt
7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt# some modules from uni for haddock
cad79077bd5b2616bc4a7a6b3cbc0953bef8917fMark Andrews# if uni/server is included also HaXml sources are needed
cad79077bd5b2616bc4a7a6b3cbc0953bef8917fMark Andrewsuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
cad79077bd5b2616bc4a7a6b3cbc0953bef8917fMark Andrews ../uni/reactor ../uni/util ../uni/posixutil
cad79077bd5b2616bc4a7a6b3cbc0953bef8917fMark Andrews
adfe58e8e5cd1890585e92b67f1fd01989a1fa7dMark Andrewsuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
adfe58e8e5cd1890585e92b67f1fd01989a1fa7dMark Andrews $(wildcard ../uni/htk/haddock/*/*.hs)
adfe58e8e5cd1890585e92b67f1fd01989a1fa7dMark AndrewsTESTTARGETFILES += OWL/OWL11Parser.hs \
c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrews Taxonomy/taxonomyTool.hs SoftFOL/tests/CMDL_tests.hs \
c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrews Static/test/TestDGTrans.hs
c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrewsendif
c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrews
c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrews### list of directories to run checks in
cb616c6d5c2ece1fac37fa6e0bca2b53d4043098Mark AndrewsTESTDIRS += Common CASL HasCASL test
cb616c6d5c2ece1fac37fa6e0bca2b53d4043098Mark Andrews
cb616c6d5c2ece1fac37fa6e0bca2b53d4043098Mark Andrewshs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
c0a2210466dec0cc81ebf2ffbe21693b57b9c29cMark Andrews Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
c0a2210466dec0cc81ebf2ffbe21693b57b9c29cMark Andrews
c0a2210466dec0cc81ebf2ffbe21693b57b9c29cMark AndrewsPFE_TOOLDIR = $(wildcard ../programatica/tools)
534057c9f91a3eb6e0541f3526459c716239b337Mark Andrewsifneq ($(strip $(PFE_TOOLDIR)),)
534057c9f91a3eb6e0541f3526459c716239b337Mark AndrewsPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
534057c9f91a3eb6e0541f3526459c716239b337Mark Andrews base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
0f14b041328c062b1fa391887376388dfc8b2fe5Mark Andrews base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
0f14b041328c062b1fa391887376388dfc8b2fe5Mark Andrews base/transforms base/transforms/Deriving property \
0f14b041328c062b1fa391887376388dfc8b2fe5Mark Andrews property/syntax property/AST property/transforms \
0f14b041328c062b1fa391887376388dfc8b2fe5Mark Andrews property/TI property/defs property/parse2 property/parse2/Parser
f7f4730e563a2749629fe7fef4cd9513cd2bfab7Mark Andrews
f7f4730e563a2749629fe7fef4cd9513cd2bfab7Mark AndrewsPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
1848d38f441ebf70ab21f6151bc3487a92d25b63Mark Andrewspfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
1848d38f441ebf70ab21f6151bc3487a92d25b63Mark AndrewsPFE_PATH = $(addprefix -i, $(PFE_PATHS))
2d82ed9456e72dc4373bea19d63411afe1c48962Mark AndrewsPFE_FLAGS = -package programatica -DPROGRAMATICA
2d82ed9456e72dc4373bea19d63411afe1c48962Mark Andrewshappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
2d82ed9456e72dc4373bea19d63411afe1c48962Mark Andrews
a5a1cbece45e6ca68aafe3b9b995eac6b0f45dd2Mark AndrewsLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer
a5a1cbece45e6ca68aafe3b9b995eac6b0f45dd2Mark Andrews
0d6328ce5f6b799f8e7c6cbbb3b965cf29bfb7baMark Andrewsprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
0d6328ce5f6b799f8e7c6cbbb3b965cf29bfb7baMark Andrews $(LEX_DIR)/HsLex.hs $(SETUP)
0d6328ce5f6b799f8e7c6cbbb3b965cf29bfb7baMark Andrews @if $(HCPKG) field programatica version; then \
e01ef6f01c7e8f80122cd80a2e011425a0135489Mark Andrews echo "of programatica package found"; else \
677f507de7c546c187c1505c48bc7b440545485cMark Andrews ($(PATCH) -usNlp0 -d $(PFE_TOOLDIR) \
677f507de7c546c187c1505c48bc7b440545485cMark Andrews -i `pwd`/Haskell/Programatica.patch || exit 0); \
677f507de7c546c187c1505c48bc7b440545485cMark Andrews cp -f utils/programatica.cabal ../programatica/tools; \
124cc0660c7eff8021c2422fb47441e9ca08b3f9Tinderbox User cp -f $(SETUP) ../programatica/tools; \
e01ef6f01c7e8f80122cd80a2e011425a0135489Mark Andrews (cd ../programatica/tools; \
677f507de7c546c187c1505c48bc7b440545485cMark Andrews ./Setup configure $(SETUPPREFIX); \
677f507de7c546c187c1505c48bc7b440545485cMark Andrews ./Setup build; ./Setup install --user) fi
677f507de7c546c187c1505c48bc7b440545485cMark Andrews
677f507de7c546c187c1505c48bc7b440545485cMark Andrews$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
677f507de7c546c187c1505c48bc7b440545485cMark Andrews echo "{-# OPTIONS -w #-}" > $@
677f507de7c546c187c1505c48bc7b440545485cMark Andrews $< >> $@
bf459d24a117ae2c54c37016430b41cd6d73491cMark Andrews
bf459d24a117ae2c54c37016430b41cd6d73491cMark Andrews$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
bf459d24a117ae2c54c37016430b41cd6d73491cMark Andrews $(LEX_DIR)/HsTokens.hs
677f507de7c546c187c1505c48bc7b440545485cMark Andrews $(HC) --make -fno-monomorphism-restriction -O \
677f507de7c546c187c1505c48bc7b440545485cMark Andrews -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
677f507de7c546c187c1505c48bc7b440545485cMark Andrews -i$(PFE_TOOLDIR)/base/lib \
bf459d24a117ae2c54c37016430b41cd6d73491cMark Andrews -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Hunt $@.hs -o $@
f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Hunt strip $@
f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Hunt
f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Huntlogics += Haskell
f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Huntderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
81e3e3084980afcd61416f572c6e72d38a3808abMichał Kępień $(LEX_DIR)Gen/HsLexerGen
81e3e3084980afcd61416f572c6e72d38a3808abMichał Kępień
81e3e3084980afcd61416f572c6e72d38a3808abMichał Kępieńutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
81e3e3084980afcd61416f572c6e72d38a3808abMichał Kępień $(HC) --make -o $@ $<
64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrews
64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark AndrewsAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrews Haskell/ProgramaticaPrelude.hs
64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrews
64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrews## rule for appendHaskellPreludeString
64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark AndrewsHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
75505befa93c993aa5d2df24a2b64eac0c34cbffMark Andrews $(APPENDPRELUDESTRING)
75505befa93c993aa5d2df24a2b64eac0c34cbffMark Andrews $(RM) $@
75505befa93c993aa5d2df24a2b64eac0c34cbffMark Andrews $(APPENDPRELUDESTRING) < $< > $@
a38f07c73790170842e4523b4a474d01ca0dede1Michał Kępień chmod 444 $@
a38f07c73790170842e4523b4a474d01ca0dede1Michał Kępień
a38f07c73790170842e4523b4a474d01ca0dede1Michał KępieńAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
39d5523a8afc73cbdb4fa426de2ce071267a5d6fMark Andrews HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
39d5523a8afc73cbdb4fa426de2ce071267a5d6fMark Andrews HsModule HsName HsLiteral HsIdent
39d5523a8afc73cbdb4fa426de2ce071267a5d6fMark Andrews
39d5523a8afc73cbdb4fa426de2ce071267a5d6fMark Andrews#files in base/TI/
1f4a3c7088594d1b64cd734eb69e1fd023fde8bfMichał Kępień#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
1f4a3c7088594d1b64cd734eb69e1fd023fde8bfMichał Kępień
1f4a3c7088594d1b64cd734eb69e1fd023fde8bfMichał Kępień#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
91827e6fd3851a5fe129ef5409ff45833ca01a0eMark Andrews
91827e6fd3851a5fe129ef5409ff45833ca01a0eMark AndrewsOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
91827e6fd3851a5fe129ef5409ff45833ca01a0eMark Andrews base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
35aae5884f410180706a89a9715bf9a85eeeb4b7Michał Kępień base/parse2/SourceNames base/syntax/SyntaxRec \
35aae5884f410180706a89a9715bf9a85eeeb4b7Michał Kępień property/syntax/PropSyntaxStruct
35aae5884f410180706a89a9715bf9a85eeeb4b7Michał Kępień
57b1d64d9ae12d56973716e96f9743a00d47af4aMichał KępieńHaskell_files = $(addsuffix .hs, \
57b1d64d9ae12d56973716e96f9743a00d47af4aMichał Kępień $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
57b1d64d9ae12d56973716e96f9743a00d47af4aMichał Kępień $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
2d517e233ff3b3fcd272eb5b2e2d3db6d31a1681Michał Kępień
2d517e233ff3b3fcd272eb5b2e2d3db6d31a1681Michał Kępień## rule for ATC generation
2d517e233ff3b3fcd272eb5b2e2d3db6d31a1681Michał KępieńHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
09c3efda414314d7edcfb2aed9463fb935fc95a6Mark Andrews $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
09c3efda414314d7edcfb2aed9463fb935fc95a6Mark Andrews
86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrewshs_der_files += $(hs_clean_files)
86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrews
86d2f9abc8493321aacb0d540485de4d562fb734Mark AndrewsTESTDIRS += ToHaskell
86d2f9abc8493321aacb0d540485de4d562fb734Mark AndrewsTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrewsendif
86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrews
86d2f9abc8493321aacb0d540485de4d562fb734Mark AndrewsTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))
86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrews
09c3efda414314d7edcfb2aed9463fb935fc95a6Mark Andrews### Profiling (only for debugging)
86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrews### Attention every module must be compiled with profiling or the linker
c7e57ce1b0bca9bc7da14bec485f7a7e3e4c761fMichał Kępień### cannot link the various .o files properly. So after switching on
c7e57ce1b0bca9bc7da14bec485f7a7e3e4c761fMichał Kępień### Profiling, do an 'gmake real_clean; gmake'
c7e57ce1b0bca9bc7da14bec485f7a7e3e4c761fMichał Kępień### Comment in the following line for switching on profiling.
3ed16e796dba90c96933c8a8a3f5b9404d8d3e61Mark Andrews# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS
3ed16e796dba90c96933c8a8a3f5b9404d8d3e61Mark Andrews
3ed16e796dba90c96933c8a8a3f5b9404d8d3e61Mark AndrewsHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PROF) $(HAXML_PACKAGE) $(HC_PACKAGE) \
14d8a144779b54b103d2da741a2242bf5f9052f7Mark Andrews $(PFE_FLAGS) -DCASLEXTENSIONS -threaded
14d8a144779b54b103d2da741a2242bf5f9052f7Mark Andrews
14d8a144779b54b103d2da741a2242bf5f9052f7Mark Andrews####################################################################
70e041bea19b6ad9522b89c2299ad315a2deaafdMark Andrews## sources for hets
70e041bea19b6ad9522b89c2299ad315a2deaafdMark Andrews
70e041bea19b6ad9522b89c2299ad315a2deaafdMark Andrewsnon_sources = Common/LaTeX_maps.svmono.hs Common/CaslLanguage.hs ./Test.hs \
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrews $(SETUP).hs
67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrews
eeb919b6f572e033d97cf001e4cd44aaff54e5dcMichał Kępieńsources = hets.hs $(filter-out $(non_sources), \
eeb919b6f572e033d97cf001e4cd44aaff54e5dcMichał Kępień $(wildcard $(addsuffix /[A-Z]*hs, $(SOURCE_PATHS))))
eeb919b6f572e033d97cf001e4cd44aaff54e5dcMichał Kępień
a55438eda32ecebf43ead45b216662b7923a465fMark Andrewsobjects = $(sources:%.hs=%.o)
a55438eda32ecebf43ead45b216662b7923a465fMark Andrews
a55438eda32ecebf43ead45b216662b7923a465fMark Andrewsdrifted_files = Common/AS_Annotation.hs \
8de17f83cafa91a5720dd0b8c1aee5f47f6d7f09Evan Hunt CASL/AS_Basic_CASL.hs Modal/AS_Modal.hs \
8de17f83cafa91a5720dd0b8c1aee5f47f6d7f09Evan Hunt Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
8de17f83cafa91a5720dd0b8c1aee5f47f6d7f09Evan Hunt Propositional/AS_BASIC_Propositional.hs \
9789e54e55b61b669fb31a8b70e9655e8357dda2Mark Andrews CoCASL/AS_CoCASL.hs COL/AS_COL.hs \
9789e54e55b61b669fb31a8b70e9655e8357dda2Mark Andrews CASL_DL/AS_CASL_DL.hs OWL/ReadWrite.hs \
f8362536c647625e602c8450a778a2b7ba90c9f4Mark Andrews CspCASL/AS_CspCASL_Process.hs CspCASL/AS_CspCASL.hs \
f8362536c647625e602c8450a778a2b7ba90c9f4Mark Andrews DL/AS.hs RelationalScheme/AS.hs \
f8362536c647625e602c8450a778a2b7ba90c9f4Mark Andrews $(gendrifted_files)
24231e53a5c3079431f84dcddfee1e761fec7329Mark Andrews
24231e53a5c3079431f84dcddfee1e761fec7329Mark Andrewsatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
24231e53a5c3079431f84dcddfee1e761fec7329Mark Andrews Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
24231e53a5c3079431f84dcddfee1e761fec7329Mark Andrews Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
4b669b69bae7dedda2faa09a7ade247499c1d49cMichał Kępień Logic/Prover.hs Common/ExtSign.hs Static/DevGraph.hs
4b669b69bae7dedda2faa09a7ade247499c1d49cMichał Kępień
4b669b69bae7dedda2faa09a7ade247499c1d49cMichał Kępieńatc_der_files = $(foreach file, $(atc_files), \
4b669b69bae7dedda2faa09a7ade247499c1d49cMichał Kępień ATC/$(basename $(basename $(notdir $(file)))).der.hs)
eb11b39981689e4a20fbe95e533577eacab992b4Mukund Sivaraman
eb11b39981689e4a20fbe95e533577eacab992b4Mukund SivaramanATC/Id.der.hs: Common/Id.hs $(GENRULES)
eb11b39981689e4a20fbe95e533577eacab992b4Mukund Sivaraman $(GENRULECALL) -o $@ $<
8daeae9b01a2b7eb9fd6511b352b03bd7d96ae79Michał Kępień
8daeae9b01a2b7eb9fd6511b352b03bd7d96ae79Michał KępieńATC/Result.der.hs: Common/Result.hs $(GENRULES)
e7c0f978425f45731b08be1363f20626b0344f23Evan Hunt $(GENRULECALL) -o $@ $<
e7c0f978425f45731b08be1363f20626b0344f23Evan Hunt
01967d183990e44752fe61f193dab9c04c3afd9cEvan HuntATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
01967d183990e44752fe61f193dab9c04c3afd9cEvan Hunt $(GENRULECALL) -o $@ $<
01967d183990e44752fe61f193dab9c04c3afd9cEvan Hunt
575e9d9e4b6beaae688f107814a320b91243a4b2Mark AndrewsATC/ExtSign.der.hs: Common/ExtSign.hs $(GENRULES)
575e9d9e4b6beaae688f107814a320b91243a4b2Mark Andrews $(GENRULECALL) -o $@ $<
575e9d9e4b6beaae688f107814a320b91243a4b2Mark Andrews
575e9d9e4b6beaae688f107814a320b91243a4b2Mark AndrewsATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
7c442d7fe06bc95432af7513764e5cc85e133648Evan Hunt $(GENRULECALL) -o $@ $<
7c442d7fe06bc95432af7513764e5cc85e133648Evan Hunt
7c442d7fe06bc95432af7513764e5cc85e133648Evan HuntATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
7c442d7fe06bc95432af7513764e5cc85e133648Evan Hunt $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
5e1ca7a326741a8f74e6f2b907c7e1fbf428bf80Michał Kępień
5e1ca7a326741a8f74e6f2b907c7e1fbf428bf80Michał KępieńATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
5e1ca7a326741a8f74e6f2b907c7e1fbf428bf80Michał Kępień $(GENRULECALL) -i ATC.AS_Structured -o $@ $<
5e1ca7a326741a8f74e6f2b907c7e1fbf428bf80Michał Kępień
ba93bc80a7bce5ba07b2f98e68f0f57402f2459cMark AndrewsATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
ba93bc80a7bce5ba07b2f98e68f0f57402f2459cMark Andrews $(GENRULECALL) -i ATC.AS_Architecture -o $@ $<
8ed107eab48687887d45a1ceb18b712bc7209dbaTinderbox User
ba93bc80a7bce5ba07b2f98e68f0f57402f2459cMark AndrewsATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
5f103158280fb2e814db305f917aa42040221623Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $<
5f103158280fb2e814db305f917aa42040221623Mark Andrews
5f103158280fb2e814db305f917aa42040221623Mark AndrewsATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
5f103158280fb2e814db305f917aa42040221623Mark Andrews $(GENRULECALL) -x Logic.Prover.ProverTemplate \
e5715e1fe12e5ad17522bd41c31e637c869d27b7Evan Hunt -i ATC.AS_Annotation -o $@ $<
e5715e1fe12e5ad17522bd41c31e637c869d27b7Evan Hunt
b7b76d6b855cd4c1152c26d34fb61af05f965c5eEvan HuntATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
b7b76d6b855cd4c1152c26d34fb61af05f965c5eEvan Hunt $(GENRULECALL) -i ATC.AS_Library -i ATC.Grothendieck -o $@ $<
b7b76d6b855cd4c1152c26d34fb61af05f965c5eEvan Hunt
b7b76d6b855cd4c1152c26d34fb61af05f965c5eEvan HuntCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
764e2f3413ca89d09abffb3eb228c8c820bf08b8Mark Andrews CASL/AS_Basic_CASL.der.hs
764e2f3413ca89d09abffb3eb228c8c820bf08b8Mark Andrews
764e2f3413ca89d09abffb3eb228c8c820bf08b8Mark AndrewsHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
764e2f3413ca89d09abffb3eb228c8c820bf08b8Mark AndrewsIsabelle_files = Isabelle/IsaSign.hs
a06198688faca5c7bc1a35ec0ec18bc68c07691cEvan Hunt
a06198688faca5c7bc1a35ec0ec18bc68c07691cEvan HuntPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
a06198688faca5c7bc1a35ec0ec18bc68c07691cEvan Hunt Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
50433a667cf0ed3ac7807768b745b0d870ff8c8bMark Andrews Propositional/Sublogic.hs
50433a667cf0ed3ac7807768b745b0d870ff8c8bMark Andrews
3c12bec945ee71a38c5ba6f624abd12e2da7eea5Mark AndrewsDL_files = DL/AS.hs DL/Sign.hs
3c12bec945ee71a38c5ba6f624abd12e2da7eea5Mark Andrews
f44202ab640d22e17b4c74bdad7817622918bd27Mark AndrewsRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
f44202ab640d22e17b4c74bdad7817622918bd27Mark Andrews
f44202ab640d22e17b4c74bdad7817622918bd27Mark AndrewsModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
ad9772c559c6aa42f8930f4acf1a2d833a08040aMichał KępieńConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
ad9772c559c6aa42f8930f4acf1a2d833a08040aMichał KępieńCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
ad9772c559c6aa42f8930f4acf1a2d833a08040aMichał KępieńCOL_files = COL/AS_COL.hs COL/COLSign.hs
ad9772c559c6aa42f8930f4acf1a2d833a08040aMichał Kępień
5d7d67f82a8913fae5f1098e111fe50edb86cd5bEvan HuntCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
5d7d67f82a8913fae5f1098e111fe50edb86cd5bEvan Hunt CspCASL/SignCSP.hs
5d7d67f82a8913fae5f1098e111fe50edb86cd5bEvan Hunt
6216df5ccded056abd5db4abac4e5cbd78c73f45Evan HuntCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs
6216df5ccded056abd5db4abac4e5cbd78c73f45Evan HuntSoftFOL_files = SoftFOL/Sign.hs
6216df5ccded056abd5db4abac4e5cbd78c73f45Evan HuntOWL_files = OWL/Sign.hs
6216df5ccded056abd5db4abac4e5cbd78c73f45Evan HuntVSE_files = VSE/As.hs
6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Hunt
6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Huntatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Hunt
56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Huntgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Hunt
56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Huntgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Hunt
56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Huntinline_axiom_files = Comorphisms/CASL2PCFOL.hs \
c85920c0b4b2d4dc605c0b1d355881925bf410afMark Andrews Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
c85920c0b4b2d4dc605c0b1d355881925bf410afMark Andrews Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs
0612274565d80e0ad87a19920e561cce5bddb05bEvan Hunt
0612274565d80e0ad87a19920e561cce5bddb05bEvan Huntgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
0612274565d80e0ad87a19920e561cce5bddb05bEvan Hunt
0612274565d80e0ad87a19920e561cce5bddb05bEvan Huntderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files)
f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt
f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt# sources that have {-# OPTIONS -cpp #-}
f592d2f76cac7115038124c510d2ba3050334b4dEvan Huntcpp_sources = \
f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt CASL/Logic_CASL.hs Isabelle/CreateTheories.hs \
4ee1fbe056e812e661b856b4b448296331a40249Michał Kępień SoftFOL/Logic_SoftFOL.hs GUI/Utils.hs Driver/WriteFn.hs \
4ee1fbe056e812e661b856b4b448296331a40249Michał Kępień Propositional/Logic_Propositional.hs \
1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \
1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews Comorphisms/KnownProvers.hs hets.hs $(happy_files) \
1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews PGIP/InfoCommands.hs OWL/Logic_OWL11.hs
1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews
1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews# unused, remove when header files are gone
43d53a4e4b2f0f9482485a8ab764137a9898ab32Evan Huntgenrule_header_files = $(wildcard ATC/*.header.hs)
43d53a4e4b2f0f9482485a8ab764137a9898ab32Evan Hunt
43d53a4e4b2f0f9482485a8ab764137a9898ab32Evan Huntnondoc_sources = $(wildcard utils/DrIFT-src/*.hs) \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień $(wildcard utils/DrIFT-src/*.lhs) \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień $(wildcard utils/GenerateRules/*.hs) \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień $(wildcard utils/InlineAxioms/*.hs) \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień $(wildcard utils/itcor/*.hs) \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień $(genrule_header_files) $(generated_rule_files) \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień Modal/GeneratePatterns.inline.hs \
b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
5fa4be41a383cfbf5e1d195b18c04bdbf5603710Evan Hunt SoftFOL/MathServCommunication.hs \
5fa4be41a383cfbf5e1d195b18c04bdbf5603710Evan Hunt $(patsubst %.hs, %.der.hs, $(drifted_files))
5fa4be41a383cfbf5e1d195b18c04bdbf5603710Evan Hunt
2732d4922c2e72a399204320791acfd2fd3d6c7cMark Andrewshspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
2732d4922c2e72a399204320791acfd2fd3d6c7cMark Andrews
2732d4922c2e72a399204320791acfd2fd3d6c7cMark Andrews# this variable holds the modules that should be documented
24ffba17f06746257d5c009ca8ebfe6043966d20Evan Huntdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
24ffba17f06746257d5c009ca8ebfe6043966d20Evan Hunt
24ffba17f06746257d5c009ca8ebfe6043966d20Evan Hunttax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
24ffba17f06746257d5c009ca8ebfe6043966d20Evan Hunt Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
24ffba17f06746257d5c009ca8ebfe6043966d20Evan Hunt
21d58795b10a13fa7ac306f7146bdcb58b2e5165Mark Andrewstax_objects = $(patsubst %.hs, %.o, $(tax_sources))
21d58795b10a13fa7ac306f7146bdcb58b2e5165Mark Andrews
d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt####################################################################
d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt### targets
d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt
d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt real_clean bin_clean package_clean distclean packages \
d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt http_pkg syb_pkg shellac_pkg shread_pkg shcompat_pkg \
d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt hxt_pkg haifa_pkg programatica_pkg maintainer-clean annos \
ad1317338af79edad878c9c3e4361798503310baMark Andrews check capa hacapa h2h h2hf showKP clean_genRules genRules \
ad1317338af79edad878c9c3e4361798503310baMark Andrews count doc apache_doc post_doc4apache fromKif \
9519bb92d7f3f35015aecb84954dd21607cc2c80Evan Hunt derivedSources install_hets install release cgi ghci
9519bb92d7f3f35015aecb84954dd21607cc2c80Evan Hunt
9519bb92d7f3f35015aecb84954dd21607cc2c80Evan Hunt.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
1c81aef28ddf0905344cc58dd3ea0ca539ef1414Evan Hunt
1c81aef28ddf0905344cc58dd3ea0ca539ef1414Evan Hunt$(SETUP): utils/Setup.hs
1c81aef28ddf0905344cc58dd3ea0ca539ef1414Evan Hunt $(HC) --make -O -o $@ $<
1c81aef28ddf0905344cc58dd3ea0ca539ef1414Evan Hunt
da1f585afa8c103508c759142d6aed4edae6936eMark Andrewspackages: base64_pkg http_pkg syb_pkg shellac_pkg shread_pkg shcompat_pkg \
da1f585afa8c103508c759142d6aed4edae6936eMark Andrews tagsoup_pkg hxt_pkg hxtfilter_pkg haifa_pkg programatica_pkg
da1f585afa8c103508c759142d6aed4edae6936eMark Andrews
a8fa3e2d44ce6a8f4069d8f4229d29f5ba6a4a27Mukund Sivaramanbase64_pkg: utils/dataenc-0.11.tar.gz $(SETUP)
a8fa3e2d44ce6a8f4069d8f4229d29f5ba6a4a27Mukund Sivaraman @if $(HCPKG) field dataenc version; then \
a8fa3e2d44ce6a8f4069d8f4229d29f5ba6a4a27Mukund Sivaraman echo "of dataenc package found"; else \
d71d41341d36ddfd347daab982f0cb85d3dd7c4eMark Andrews $(RM) -r dataenc-0.11; \
d71d41341d36ddfd347daab982f0cb85d3dd7c4eMark Andrews $(TAR) zxf utils/dataenc-0.11.tar.gz; \
d72952cf254b71c44e5e956a306016a5be9b9c38Mark Andrews (cd dataenc-0.11; $(SETUPPACKAGE)) fi
d72952cf254b71c44e5e956a306016a5be9b9c38Mark Andrews
aae171c5421ac2ba665ff122e004e753e62bac45Mark Andrewshttp_pkg: utils/HTTP-3001.0.4.tar.gz $(SETUP)
aae171c5421ac2ba665ff122e004e753e62bac45Mark Andrews @if $(HCPKG) field HTTP version; then \
6b183c64a3281491f8232959a5ece303b4499706Mark Andrews echo "of HTTP package found"; else \
6b183c64a3281491f8232959a5ece303b4499706Mark Andrews $(RM) -r HTTP-3001.0.4; \
5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępień $(TAR) zxf utils/HTTP-3001.0.4.tar.gz; \
5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępień (cd HTTP-3001.0.4; $(SETUPPACKAGE)) fi
5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępień
5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępieńsyb_pkg: $(SETUP)
5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępień @if $(HCPKG) field syb-generics version; then \
e2cc7418bf895d22854d84590b63905fac0d4b90Mark Andrews echo "of syb-generics package found"; else \
e2cc7418bf895d22854d84590b63905fac0d4b90Mark Andrews (cd syb-generics; $(SETUPPACKAGE)) fi
36ec0d374836d070ba05b495e6f0a27f60e94476Evan Hunt
36ec0d374836d070ba05b495e6f0a27f60e94476Evan Huntshellac_pkg: utils/shellac.tgz $(SETUP)
36ec0d374836d070ba05b495e6f0a27f60e94476Evan Hunt @if $(HCPKG) field Shellac version; then \
e446fd29b9c6c4a7b6b5bb0aee3932578c346718Mukund Sivaraman echo "of Shellac package found"; else \
f896f7c8be894a737998b97008a1389e72972fcfMukund Sivaraman $(RM) -r shellac; \
e446fd29b9c6c4a7b6b5bb0aee3932578c346718Mukund Sivaraman $(TAR) zxf utils/shellac.tgz; \
027a4a5b5d806290146ce4989d34be2c8a664e8cMukund Sivaraman (cd shellac; $(SETUPPACKAGE)) fi
027a4a5b5d806290146ce4989d34be2c8a664e8cMukund Sivaraman
b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaramanshread_pkg: utils/shread.tgz $(SETUP) shellac_pkg
b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaraman @if $(HCPKG) field Shellac-readline version; then \
b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaraman echo "of Shellac-readline package found"; else \
b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaraman $(RM) -r shread; \
b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaraman $(TAR) zxf utils/shread.tgz; \
99056063905a9273ec59cf477ae747e0490182b7Mukund Sivaraman (cd shread; $(SETUPPACKAGE)) fi
99056063905a9273ec59cf477ae747e0490182b7Mukund Sivaraman
99056063905a9273ec59cf477ae747e0490182b7Mukund Sivaramanshcompat_pkg: utils/shcompat.tgz $(SETUP) shread_pkg
62f2fefaec754e6a4841ff0e72726e6c0cd89c86Michał Kępień @if $(HCPKG) field Shellac-compatline version; then \
62f2fefaec754e6a4841ff0e72726e6c0cd89c86Michał Kępień echo "of Shellac-compatline package found"; else \
62f2fefaec754e6a4841ff0e72726e6c0cd89c86Michał Kępień $(RM) -r shcompat; \
62f2fefaec754e6a4841ff0e72726e6c0cd89c86Michał Kępień $(TAR) zxf utils/shcompat.tgz; \
b351a5864727a390e06d787e522b141ca760590fMichał Kępień (cd shcompat; $(SETUPPACKAGE)) fi
b351a5864727a390e06d787e522b141ca760590fMichał Kępień
b351a5864727a390e06d787e522b141ca760590fMichał Kępieńtagsoup_pkg: utils/tagsoup-0.6.tar.gz $(SETUP)
b351a5864727a390e06d787e522b141ca760590fMichał Kępień @if $(HCPKG) field tagsoup version; then \
b351a5864727a390e06d787e522b141ca760590fMichał Kępień echo "of tagsoup package found"; else \
b351a5864727a390e06d787e522b141ca760590fMichał Kępień $(RM) -r tagsoup-0.6; \
b351a5864727a390e06d787e522b141ca760590fMichał Kępień $(TAR) zxf utils/tagsoup-0.6.tar.gz; \
8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrews (cd tagsoup-0.6; $(SETUPPACKAGE)) fi
8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrews
8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrewshxt_pkg: utils/hxt-8.0.0.tar.gz $(SETUP) http_pkg tagsoup_pkg
8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrews @if $(HCPKG) field hxt version; then \
8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrews echo "of hxt package found"; else \
7b4bfc0201ffbcd64a336b99c945891808c44af0Mark Andrews $(RM) -r hxt-8.0.0; \
7b4bfc0201ffbcd64a336b99c945891808c44af0Mark Andrews $(TAR) zxf utils/hxt-8.0.0.tar.gz; \
b815731d05220f932315eb33a97c6dc888c6a026Tinderbox User (cd hxt-8.0.0; $(SETUPPACKAGE)) fi
7cd594b8427fe742d44295790ba367e1de22a47dEvan Hunt
7cd594b8427fe742d44295790ba367e1de22a47dEvan Hunthxtfilter_pkg: utils/hxt-filter-8.0.0.tar.gz $(SETUP) hxt_pkg
7cd594b8427fe742d44295790ba367e1de22a47dEvan Hunt @if $(HCPKG) field hxt-filter version; then \
c76e8412f4ff4f5945157410312df2a8950f942dMark Andrews echo "of hxt-filter package found"; else \
c76e8412f4ff4f5945157410312df2a8950f942dMark Andrews $(RM) -r hxt-filter-8.0.0; \
a2a0100e0fc73c0af67a7c9e3524816954448dc6Evan Hunt $(TAR) zxf utils/hxt-filter-8.0.0.tar.gz; \
a2a0100e0fc73c0af67a7c9e3524816954448dc6Evan Hunt (cd hxt-filter-8.0.0; $(SETUPPACKAGE)) fi
a2a0100e0fc73c0af67a7c9e3524816954448dc6Evan Hunt
a2a0100e0fc73c0af67a7c9e3524816954448dc6Evan Hunthaifa_pkg: $(SETUP) base64_pkg hxtfilter_pkg syb_pkg
1feffc6fdb1ba386b22d45ea2d2f1613e717cb9eMark Andrews @if $(HCPKG) field HAIFA version; then \
1feffc6fdb1ba386b22d45ea2d2f1613e717cb9eMark Andrews echo "of HAIFA package found"; else \
1feffc6fdb1ba386b22d45ea2d2f1613e717cb9eMark Andrews (cd haifa-lite; $(SETUPPACKAGE)) fi
22bed621ef87bc8b6c1fea599b02c4b38dd6bf48Mark Andrews
22bed621ef87bc8b6c1fea599b02c4b38dd6bf48Mark Andrewsprogramatica_pkg:
22bed621ef87bc8b6c1fea599b02c4b38dd6bf48Mark Andrews
68d7ff133c9a1b8cfe683c70e997d83395ffd155Evan Hunthets-opt:
68d7ff133c9a1b8cfe683c70e997d83395ffd155Evan Hunt $(MAKE) distclean
68d7ff133c9a1b8cfe683c70e997d83395ffd155Evan Hunt $(MAKE) derivedSources
e5f5675b1da287ed40aeff081ad2af86090e8d17Evan Hunt $(MAKE) clean
e5f5675b1da287ed40aeff081ad2af86090e8d17Evan Hunt $(MAKE) hets-optimized
e5f5675b1da287ed40aeff081ad2af86090e8d17Evan Hunt
29f0ced781d745591fd058e530a68a281cd7a510Evan Hunthets-optimized: $(derived_sources)
29f0ced781d745591fd058e530a68a281cd7a510Evan Hunt $(HC) --make -O -o hets hets.hs $(HC_OPTS)
29f0ced781d745591fd058e530a68a281cd7a510Evan Hunt strip hets
b9fd54f8d4572fe5dcaf9d4b74f6ecb8027cc450Evan Hunt
b9fd54f8d4572fe5dcaf9d4b74f6ecb8027cc450Evan Hunthets-old: $(objects)
b9fd54f8d4572fe5dcaf9d4b74f6ecb8027cc450Evan Hunt $(RM) $@
fcb5e646e4d775539e348fa21ba13307f2695bf5Mark Andrews $(HC) -o hets $(HC_OPTS) $(objects)
fcb5e646e4d775539e348fa21ba13307f2695bf5Mark Andrews
fcb5e646e4d775539e348fa21ba13307f2695bf5Mark Andrewscgi:
a22c3cf51567651f74aee5c263c597b8d752c2ccMichał Kępień $(MAKE) distclean
a22c3cf51567651f74aee5c263c597b8d752c2ccMichał Kępień $(MAKE) derivedSources
a22c3cf51567651f74aee5c263c597b8d752c2ccMichał Kępień $(MAKE) real_clean
a22c3cf51567651f74aee5c263c597b8d752c2ccMichał Kępień $(MAKE) hets.cgi
b301c4293c082fcce4ec26218e6fad346976eb9eMark Andrews
b301c4293c082fcce4ec26218e6fad346976eb9eMark Andrewshets.cgi: $(sources) GUI/hets_cgi.hs
b301c4293c082fcce4ec26218e6fad346976eb9eMark Andrews ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O
5c4e0c7800b5c7783e7f8b9ce80a6f8dc47f8856Mark Andrews strip hets.cgi
5c4e0c7800b5c7783e7f8b9ce80a6f8dc47f8856Mark Andrews
5c4e0c7800b5c7783e7f8b9ce80a6f8dc47f8856Mark Andrewshets_maintainers.txt: $(sources)
6e1f755f19ef244422e1efa4551fe23775e1a38cMark Andrews @echo 'File : Maintainer' > $@
6e1f755f19ef244422e1efa4551fe23775e1a38cMark Andrews @echo -n Generating $@ " "
6e1f755f19ef244422e1efa4551fe23775e1a38cMark Andrews @egrep -m 1 "Maintainer" $(sources) | \
435a7cd2293dfa9264678508762ab9acb8d41e50Mark Andrews sed -e 's/: *Maintainer *: */ : /' >> $@
435a7cd2293dfa9264678508762ab9acb8d41e50Mark Andrews @echo " done"
435a7cd2293dfa9264678508762ab9acb8d41e50Mark Andrews
b7a823a402eb5c4e99f283e58d778a903d2e72f5Michał Kępień###############################
b7a823a402eb5c4e99f283e58d778a903d2e72f5Michał Kępień### count lines of code
b7a823a402eb5c4e99f283e58d778a903d2e72f5Michał Kępieńcount: $(sources)
c46c8e5c56ec4e81a39632e0036f20a6a3c18b8bMark Andrews wc -l $(sources)
031bc55634f443c7c70fbf44c6ac6d8abe72f22bEvan Hunt###############################
031bc55634f443c7c70fbf44c6ac6d8abe72f22bEvan Hunt### Documentation via haddock
031bc55634f443c7c70fbf44c6ac6d8abe72f22bEvan Huntdoc: docs/index.html
a64daf673deff2358a91bee26bbf2bf874f47c6eMark Andrews
a64daf673deff2358a91bee26bbf2bf874f47c6eMark Andrews# generate haddock documentation with links to sources
a64daf673deff2358a91bee26bbf2bf874f47c6eMark Andrews# the interface treatment is stolen from uni/mk/suffix.mk
0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał Kępieńdocs/index.html: $(doc_sources)
0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał Kępień $(RM) -r docs
0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał Kępień mkdir docs
0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał Kępień cp -r -L ../uni/www docs/www || mkdir docs/www
0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał Kępień HINTERFACES0=`find -L docs/www -name '*.haddock' \
f20ff8b74d21fa3e3f071544f6fd060d015cf27eMichał Kępień -printf "--read-interface=www/%P,%p "` ; \
f20ff8b74d21fa3e3f071544f6fd060d015cf27eMichał Kępień HINTERFACES=`echo $$HINTERFACES0 | \
f20ff8b74d21fa3e3f071544f6fd060d015cf27eMichał Kępień $(PERL) -pe 's+/[^/]*.haddock,+,+g'` ; \
7ff682f3c628d785048bbe0242e6a32ea26c6747Michał Kępień $(HADDOCK) -o docs -h -v -s ../%F $$HINTERFACES \
7ff682f3c628d785048bbe0242e6a32ea26c6747Michał Kępień -t 'Hets - the Heterogeneous Tool Set' \
7ff682f3c628d785048bbe0242e6a32ea26c6747Michał Kępień -p Hets-Haddock-Prologue.txt $(doc_sources)
7ff682f3c628d785048bbe0242e6a32ea26c6747Michał Kępień
e02fa56849131911e9554133b17a5325b37d0828Michał Kępień# sources are not copied here
e02fa56849131911e9554133b17a5325b37d0828Michał Kępieńapache_doc:
e02fa56849131911e9554133b17a5325b37d0828Michał Kępień $(RM) -r docs
abcea74291c37abf68be4e06997c59e5494f06adMark Andrews cvs up -d ; echo "CVS exited with: " $$?
abcea74291c37abf68be4e06997c59e5494f06adMark Andrews $(MAKE) hets-opt
abcea74291c37abf68be4e06997c59e5494f06adMark Andrews $(MAKE) doc
d748d8a4afc200800f6289683361a393b15ba6bfMichał Kępień $(MAKE) post_doc4apache
d748d8a4afc200800f6289683361a393b15ba6bfMichał Kępień $(MAKE) o_clean
d748d8a4afc200800f6289683361a393b15ba6bfMichał Kępień $(MAKE) hets.cgi
cbb33c87f4bcf415c840acb61c9d4642c3c2a8e0Michał Kępień
cbb33c87f4bcf415c840acb61c9d4642c3c2a8e0Michał Kępieńpost_doc4apache:
cbb33c87f4bcf415c840acb61c9d4642c3c2a8e0Michał Kępień $(RM) -r a-docs
324b00ad4950b00346f5ba2382a51709bd82afe9Mark Andrews cp -r docs a-docs
324b00ad4950b00346f5ba2382a51709bd82afe9Mark Andrews $(PERL) utils/post_process_docs.pl a-docs \
296f5969a8dd6e3d1bb3761569c6a7070abd2e47Tinderbox User 'Common.Lib.Map.html:Common.Lib._Map.html'
4dc6fa1e92af7a62875b6f6f2931beefd58cb4faEvan Hunt $(PERL) utils/post_process_docs.pl a-docs \
4dc6fa1e92af7a62875b6f6f2931beefd58cb4faEvan Hunt 'Data.Map.html:Data._Map.html'
4dc6fa1e92af7a62875b6f6f2931beefd58cb4faEvan Hunt
b81b178ab919bdbd92021cfc7e6e8d971cd38e83Mark Andrews###############################
b81b178ab919bdbd92021cfc7e6e8d971cd38e83Mark Andrews### release management
b81b178ab919bdbd92021cfc7e6e8d971cd38e83Mark Andrews
bf216589c1a81e4431653a145b252b6ce367d7cdMark AndrewsderivedSources: $(derived_sources) $(hspp_sources)
bf216589c1a81e4431653a145b252b6ce367d7cdMark Andrews
7dbeb5e7f067585abfb12fac314a0d2a8f0dd040Evan Hunt$(DRIFT): $(DRIFT_deps)
7dbeb5e7f067585abfb12fac314a0d2a8f0dd040Evan Hunt (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman strip ../DrIFT)
6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman
6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman$(GENRULES): $(DRIFT) $(GENERATERULES_deps)
6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman (cd utils/GenerateRules; \
6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
37f6466aa327a5b444e41c8cb57ab5caacfe6279Evan Hunt GenerateRules.hs -o ../genRules && strip ../genRules)
37f6466aa327a5b444e41c8cb57ab5caacfe6279Evan Hunt
36babd3e630f507843c423207cbbbd4758d7cffaTinderbox User# "-package hssource" for ghc-5.04.2
37f6466aa327a5b444e41c8cb57ab5caacfe6279Evan Hunt$(INLINEAXIOMS): $(INLINEAXIOMS_deps)
4162d3b36d1a3c25724c7e37ce839f67b2352bbbMark Andrews $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
4162d3b36d1a3c25724c7e37ce839f67b2352bbbMark Andrews -i../.. -o $(INLINEAXIOMS)
4162d3b36d1a3c25724c7e37ce839f67b2352bbbMark Andrews strip $(INLINEAXIOMS)
ce6f0c122140647b5652c0d4de523c994fcfea08Michał Kępień
ce6f0c122140647b5652c0d4de523c994fcfea08Michał KępieńREV = trunk
f72f5879424ce4081893b306b8c31f29fe9205e0Evan Huntrelease:
f72f5879424ce4081893b306b8c31f29fe9205e0Evan Hunt $(RM) -r Hets
f72f5879424ce4081893b306b8c31f29fe9205e0Evan Hunt svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
f72f5879424ce4081893b306b8c31f29fe9205e0Evan Hunt $(RM) -r uni
f72f5879424ce4081893b306b8c31f29fe9205e0Evan Hunt if [ -d ../uni ] ; then ln -s ../uni uni ; fi
1073e2001caee13cc1fa52de97feddd633d50fd8Evan Hunt $(RM) -r programatica
1073e2001caee13cc1fa52de97feddd633d50fd8Evan Hunt if [ -d ../programatica ] ; then \
1073e2001caee13cc1fa52de97feddd633d50fd8Evan Hunt mkdir programatica; \
1073e2001caee13cc1fa52de97feddd633d50fd8Evan Hunt ln -s ../../programatica/tools programatica/tools ; fi
1073e2001caee13cc1fa52de97feddd633d50fd8Evan Hunt (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \
78608b0a454246d0e1e0169f1d671b8427e48199Francis Dupont cp Makefile Makefile.orig; \
11c4e6d8fcc9bc148543c1ee632315e096d2bcf2Michał Kępień cp ReleaseMakefile Makefile; \
11c4e6d8fcc9bc148543c1ee632315e096d2bcf2Michał Kępień ./clean.sh; \
11c4e6d8fcc9bc148543c1ee632315e096d2bcf2Michał Kępień find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
59122481b2aa65de4518677c6949f03711d2553aEvan Hunt $(RM) clean.*; utils/replaceAllHeaders.sh)
59122481b2aa65de4518677c6949f03711d2553aEvan Hunt $(TAR) cvf Hets.tar Hets
59122481b2aa65de4518677c6949f03711d2553aEvan Hunt
59122481b2aa65de4518677c6949f03711d2553aEvan Huntinstall-hets:
fe6d2fd8338d6f6ac4c79bea9a8daad903460040Evan Hunt chmod g+w hets
fe6d2fd8338d6f6ac4c79bea9a8daad903460040Evan Hunt cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
fe6d2fd8338d6f6ac4c79bea9a8daad903460040Evan Hunt cp -p version_nr $(INSTALLDIR)
fe6d2fd8338d6f6ac4c79bea9a8daad903460040Evan Hunt (cd $(INSTALLDIR); $(RM) hets; \
05a456499af940762d6658366abafb220c5053ccMark Andrews ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
05a456499af940762d6658366abafb220c5053ccMark Andrews
05a456499af940762d6658366abafb220c5053ccMark Andrewsinstall: hets-opt install-hets
cb4e0ef4e2c8a942f99af6ecc6aa564c903b00a0Mark Andrews
cb4e0ef4e2c8a942f99af6ecc6aa564c903b00a0Mark Andrewspack/install-%.jar: pack/install-%.xml pack/UserInputSpec-%.xml hets.in hets
cb4e0ef4e2c8a942f99af6ecc6aa564c903b00a0Mark Andrews ## TODO: add more dependencies and use hets-opt
cb4e0ef4e2c8a942f99af6ecc6aa564c903b00a0Mark Andrews compile $< -b . -k standard -o $@
e3efc855f9f0acc9b14bb8e9c833e0fa209068b6Mark Andrews# compile $< -b . -k web -o $@
e3efc855f9f0acc9b14bb8e9c833e0fa209068b6Mark Andrews
e3efc855f9f0acc9b14bb8e9c833e0fa209068b6Mark Andrews###################################
e56c0854589d936f911e0aac2f2bf53cbc8a6af7Michał Kępień### Common/LaTeX_maps.hs generation
e56c0854589d936f911e0aac2f2bf53cbc8a6af7Michał Kępień
e56c0854589d936f911e0aac2f2bf53cbc8a6af7Michał Kępieńutils/genItCorrections: $(GENITCORRECTIONS_deps)
6727802528c27484e0d36d70f0b936022d3226e3Michał Kępień $(HC) --make -o $@ $<
6727802528c27484e0d36d70f0b936022d3226e3Michał Kępień strip $@
6727802528c27484e0d36d70f0b936022d3226e3Michał Kępień
6727802528c27484e0d36d70f0b936022d3226e3Michał Kępieńpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
4d41be5f9e86c11a6f00e2b005cfc5abae2c1ab3Mark Andrews pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
4d41be5f9e86c11a6f00e2b005cfc5abae2c1ab3Mark Andrews @echo -n "Generating pretty/LaTeX_maps.hs ... "
bfde61d5194a534d800f3b90008d1f52261922c5Mark Andrews @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
bfde61d5194a534d800f3b90008d1f52261922c5Mark Andrews @(cd pretty >/dev/null; ../utils/genItCorrections \
bfde61d5194a534d800f3b90008d1f52261922c5Mark Andrews gen_it_characters gen_it_words >> LaTeX_maps.hs)
42ae02626d05921ca7508ae6f9c48ea699596bc6Mark Andrews @echo "ready"
6b56350522d18f10edbf2d3778cd0fea74e4f3d2Mark Andrews @echo "please copy the file manually to Common"
6b56350522d18f10edbf2d3778cd0fea74e4f3d2Mark Andrews
42ae02626d05921ca7508ae6f9c48ea699596bc6Mark Andrews#############################
41caed6e2d7e9caace30e6c59f199ab6bd438f01Mark Andrews### ATC DrIFT-rule generation
16f43564c6875e2bedd346c18c494933ad51e4faMukund Sivaraman
16f43564c6875e2bedd346c18c494933ad51e4faMukund SivaramangenRules: $(generated_rule_files)
16f43564c6875e2bedd346c18c494933ad51e4faMukund Sivaraman
16f43564c6875e2bedd346c18c494933ad51e4faMukund SivaramanCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
16f43564c6875e2bedd346c18c494933ad51e4faMukund Sivaraman $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
72b322cde0e51c4c87df0c9e3226deac95dfb4ceMark Andrews
72b322cde0e51c4c87df0c9e3226deac95dfb4ceMark AndrewsDL/ATC_DL.der.hs: $(DL_files) $(GENRULES)
28ea558bc80f75e46d77ea0533232bb9d4e644f7Mark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(DL_files)
28ea558bc80f75e46d77ea0533232bb9d4e644f7Mark Andrews
8ed6c49f1a7f06d3ed39bee7731ff91d8dfd8dc7Mark AndrewsRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
8ed6c49f1a7f06d3ed39bee7731ff91d8dfd8dc7Mark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
447dfe4f115b17274eabf1087f035634e1129bb9Mark Andrews
565535d1820c63c64ec3c89e1f4815c326aed7aeEvan HuntPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
6045abbc9a0d7d449a13b6fbfbf32d419b6bee96Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
6045abbc9a0d7d449a13b6fbfbf32d419b6bee96Mark Andrews
f7d148398ca4511551c737e655b15f7d0d59a783Mark AndrewsHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
f7d148398ca4511551c737e655b15f7d0d59a783Mark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
f7d148398ca4511551c737e655b15f7d0d59a783Mark Andrews
3a84275b10ab16965e86f6ca97e70c1bdca885a0Mark AndrewsIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
3a84275b10ab16965e86f6ca97e70c1bdca885a0Mark Andrews $(GENRULECALL) -o $@ $(Isabelle_files)
3a84275b10ab16965e86f6ca97e70c1bdca885a0Mark Andrews
3a84275b10ab16965e86f6ca97e70c1bdca885a0Mark AndrewsModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
398834f7559617bdfd6c10ba555609a2f306e3d4Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
398834f7559617bdfd6c10ba555609a2f306e3d4Mark Andrews
398834f7559617bdfd6c10ba555609a2f306e3d4Mark AndrewsConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
398834f7559617bdfd6c10ba555609a2f306e3d4Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
398834f7559617bdfd6c10ba555609a2f306e3d4Mark Andrews
28061f80b698171892e81c0856bc722190947998Evan HuntCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
28061f80b698171892e81c0856bc722190947998Evan Hunt $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
28061f80b698171892e81c0856bc722190947998Evan Hunt
a785bf2c39c6f223a93c27bbff81591b38095577Mark AndrewsCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
a785bf2c39c6f223a93c27bbff81591b38095577Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
a03f4b1ea4f1a4a70963fbeb606841c217f9e5f3Evan Hunt
a03f4b1ea4f1a4a70963fbeb606841c217f9e5f3Evan HuntCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
a03f4b1ea4f1a4a70963fbeb606841c217f9e5f3Evan Hunt $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
a03f4b1ea4f1a4a70963fbeb606841c217f9e5f3Evan Hunt
d315545e6db6792692fe2dcb788ac6717a33b75fEvan HuntCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
d315545e6db6792692fe2dcb788ac6717a33b75fEvan Hunt $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
d315545e6db6792692fe2dcb788ac6717a33b75fEvan Hunt
d315545e6db6792692fe2dcb788ac6717a33b75fEvan HuntSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
00f131293520b70728cd48840e09953fa45a745bMark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
00f131293520b70728cd48840e09953fa45a745bMark Andrews
00f131293520b70728cd48840e09953fa45a745bMark AndrewsOWL/ATC_OWL.der.hs: $(OWL_files) $(GENRULES)
b2e71853060a384070d422afda6d1c692ff608e3Mark Andrews $(GENRULECALL) -i OWL.ReadWrite -o $@ $(OWL_files)
b2e71853060a384070d422afda6d1c692ff608e3Mark Andrews
b2e71853060a384070d422afda6d1c692ff608e3Mark AndrewsVSE/ATC_VSE.der.hs: $(VSE_files) $(GENRULES)
b2e71853060a384070d422afda6d1c692ff608e3Mark Andrews $(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
42c1acfa478aacfbda2d298cf74a137de2df4b87Michał Kępień
42c1acfa478aacfbda2d298cf74a137de2df4b87Michał Kępieńclean_genRules:
42c1acfa478aacfbda2d298cf74a137de2df4b87Michał Kępień $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
214b53880b6d77359f60feccb91bd2589059300aEvan Hunt $(hs_clean_files)
214b53880b6d77359f60feccb91bd2589059300aEvan Hunt
214b53880b6d77359f60feccb91bd2589059300aEvan Hunt###############
dd5375de0a7a515ee4fb2fd217e9577259d38c07Mark Andrews### clean up
dd5375de0a7a515ee4fb2fd217e9577259d38c07Mark Andrews
dd5375de0a7a515ee4fb2fd217e9577259d38c07Mark Andrewsclean: bin_clean o_clean clean_pretty
3a58e1fefb0a9fd5dab11f271a320c6b90473f76Mukund Sivaraman
3a58e1fefb0a9fd5dab11f271a320c6b90473f76Mukund Sivaraman### removes all *.o, *.hi and *.p_o files in all subdirectories
3a58e1fefb0a9fd5dab11f271a320c6b90473f76Mukund Sivaramano_clean:
7c67b8c2b076971e6a9f8b0db932201366f13d47Mark Andrews find . -name \*.o -o -name \*.hi -o -name \*.p_o | xargs $(RM)
7c67b8c2b076971e6a9f8b0db932201366f13d47Mark Andrews
7c67b8c2b076971e6a9f8b0db932201366f13d47Mark Andrews### remove binaries
5aed5dc329a2bf1340e9ff2256c1cf4e3005ea0bMark Andrewsbin_clean:
5aed5dc329a2bf1340e9ff2256c1cf4e3005ea0bMark Andrews $(RM) hets
387f5e872d40426acbc739d2e9b2bb37c123dd56Mark Andrews $(RM) hets.cgi
8664a1bd40814ed0b42eacfc5eb354b598dfd6dfTinderbox User $(RM) $(SETUP)
c28e44f3f8bc46c6bf1c15cc06af0c42fcd7e924Evan Hunt $(RM) $(TESTTARGETS)
c28e44f3f8bc46c6bf1c15cc06af0c42fcd7e924Evan Hunt
387f5e872d40426acbc739d2e9b2bb37c123dd56Mark Andrewsclean_pretty:
3440cf9c60cd5d35634e7f274fd3eccbba2173a5Evan Hunt $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
3440cf9c60cd5d35634e7f274fd3eccbba2173a5Evan Hunt pretty/generated_words.tex
3440cf9c60cd5d35634e7f274fd3eccbba2173a5Evan Hunt
387f5e872d40426acbc739d2e9b2bb37c123dd56Mark Andrews### additionally removes the library files
541ce84ff2f0c54340da8b3e04c5686ed82420e1Mark Andrewsreal_clean: clean
541ce84ff2f0c54340da8b3e04c5686ed82420e1Mark Andrews
032d2134a4c1808696688db9bf6f20253e5d05b5Mark Andrews### clean user packages
032d2134a4c1808696688db9bf6f20253e5d05b5Mark Andrewspackage_clean:
032d2134a4c1808696688db9bf6f20253e5d05b5Mark Andrews $(HCPKG) unregister HAIFA --user || exit 0
fb9ef31fed818384ef8997f2dc5f27252c6f767eEvan Hunt $(HCPKG) unregister programatica --user || exit 0
fb9ef31fed818384ef8997f2dc5f27252c6f767eEvan Hunt $(HCPKG) unregister hxt-filter --user || exit 0
fb9ef31fed818384ef8997f2dc5f27252c6f767eEvan Hunt $(HCPKG) unregister hxt --user || exit 0
823ccd1f02802966395d58c916e9f988320fd6eeEvan Hunt $(HCPKG) unregister tagsoup --user || exit 0
823ccd1f02802966395d58c916e9f988320fd6eeEvan Hunt $(HCPKG) unregister Shellac-compatline --user || exit 0
823ccd1f02802966395d58c916e9f988320fd6eeEvan Hunt $(HCPKG) unregister Shellac-readline --user || exit 0
b6fa637fc8c92f42a21e6f97259598968717af3dEvan Hunt $(HCPKG) unregister HTTP --user || exit 0
b6fa637fc8c92f42a21e6f97259598968717af3dEvan Hunt $(HCPKG) unregister syb-generics --user || exit 0
b6fa637fc8c92f42a21e6f97259598968717af3dEvan Hunt $(HCPKG) unregister Shellac --user || exit 0
b6fa637fc8c92f42a21e6f97259598968717af3dEvan Hunt $(HCPKG) unregister dataenc --user || exit 0
ace5680c122ef239e64eec1120f13f5a7f087d79Mark Andrews
ace5680c122ef239e64eec1120f13f5a7f087d79Mark Andrews### additionally removes generated files not in the CVS tree
ace5680c122ef239e64eec1120f13f5a7f087d79Mark Andrewsdistclean: clean clean_genRules
59d940391ce90963cd3f4b22201b3fca2ffda22aMark Andrews $(RM) $(derived_sources)
59d940391ce90963cd3f4b22201b3fca2ffda22aMark Andrews $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
59d940391ce90963cd3f4b22201b3fca2ffda22aMark Andrews $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
6b432e11497f905a6b6f048df3e8a01ce8abbb1eMark Andrews $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
6b432e11497f905a6b6f048df3e8a01ce8abbb1eMark Andrews
6b432e11497f905a6b6f048df3e8a01ce8abbb1eMark Andrewsmaintainer-clean: distclean package_clean
cb9345c996de9d9c990009f14fc83fbbe9c5e3e6Mark Andrews $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
cb9345c996de9d9c990009f14fc83fbbe9c5e3e6Mark Andrews
cb9345c996de9d9c990009f14fc83fbbe9c5e3e6Mark Andrews####################################################################
c935952ede45595a821cfed7f73b57f3b239ca2bMark Andrews### test targets
c935952ede45595a821cfed7f73b57f3b239ca2bMark Andrews####################################################################
c935952ede45595a821cfed7f73b57f3b239ca2bMark Andrews
9604a49da0130534f2f4aaa0cbfa78b5f589196fMark Andrews### interactive
9604a49da0130534f2f4aaa0cbfa78b5f589196fMark Andrewsghci: $(derived_sources)
9604a49da0130534f2f4aaa0cbfa78b5f589196fMark Andrews $(HC)i $(HC_OPTS)
da5b569ddb9b8bf84242f3085d18e215ec490fdaMark Andrews
da5b569ddb9b8bf84242f3085d18e215ec490fdaMark Andrews### christian's target
da5b569ddb9b8bf84242f3085d18e215ec490fdaMark Andrews### CASL parser
c83a3061551c86bd661839be935de061f7322f5cEvan HuntfromKif: CASL/fromKif
c83a3061551c86bd661839be935de061f7322f5cEvan Hunt
c83a3061551c86bd661839be935de061f7322f5cEvan Hunt### Annos parser
c83a3061551c86bd661839be935de061f7322f5cEvan Huntannos: Common/annos
ac9072210cea5283e554f1787876b647a08fda96Mark Andrews
ac9072210cea5283e554f1787876b647a08fda96Mark Andrews### CASL parser
ac9072210cea5283e554f1787876b647a08fda96Mark Andrewscapa: CASL/capa
ac9072210cea5283e554f1787876b647a08fda96Mark Andrews
512765ba1e3f0b29e2c1ae4b0138838c6422f2bdEvan Hunt### HasCASL parser
512765ba1e3f0b29e2c1ae4b0138838c6422f2bdEvan Hunthacapa: HasCASL/hacapa
27a262bc4d38c7a8230677ac2685ec7a4f509f70Mark Andrews
27a262bc4d38c7a8230677ac2685ec7a4f509f70Mark Andrews### Haskell analysis
27a262bc4d38c7a8230677ac2685ec7a4f509f70Mark Andrewshana: Haskell/hana
27a262bc4d38c7a8230677ac2685ec7a4f509f70Mark Andrews
3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman### Haskell to Isabelle-HOLCF translation
3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaramanh2hf: Haskell/h2hf
3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman
3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund SivaramanHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman Common/Lib/*.hs Comorphisms/*.hs
3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman $(HC) -O --make -o $@ $< $(HC_FLAGS) $(PFE_FLAGS)
3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman
0d24df5c0b2f9546f403113df8ac4457223bc92fEvan Hunt### HasCASL to Haskell translation
0d24df5c0b2f9546f403113df8ac4457223bc92fEvan Hunth2h: Haskell/h2h
0d24df5c0b2f9546f403113df8ac4457223bc92fEvan Hunt
7c1c9b4dcd9efa507cdb58d3d83e99ab4836096dMark Andrews### test program to check the known provers
7c1c9b4dcd9efa507cdb58d3d83e99ab4836096dMark AndrewsshowKP: Comorphisms/test/showKP
7c1c9b4dcd9efa507cdb58d3d83e99ab4836096dMark Andrews
9689922a0d936b04feb418fbaf4c1420f745ea58Mark Andrews### run tests in other directories
9689922a0d936b04feb418fbaf4c1420f745ea58Mark Andrewscheck: $(TESTTARGETS)
9689922a0d936b04feb418fbaf4c1420f745ea58Mark Andrews for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
02989eceeff85cd6c5dd31848a12674f74bba7cfEvan Hunt
02989eceeff85cd6c5dd31848a12674f74bba7cfEvan Hunt####################################################################
02989eceeff85cd6c5dd31848a12674f74bba7cfEvan Hunt## Preparing the version of Hets
34f649fa22a16acb488ccf0f8a41d541c6ba7da1Evan HuntDriver/Version.hs: Driver/Version.in version_nr
34f649fa22a16acb488ccf0f8a41d541c6ba7da1Evan Hunt $(RM) $@
34f649fa22a16acb488ccf0f8a41d541c6ba7da1Evan Hunt LANG=C $(PERL) utils/build_version.pl version_nr \
34f649fa22a16acb488ccf0f8a41d541c6ba7da1Evan Hunt < Driver/Version.in > $@
8b9c4592ed718c4187971f1104381faf538bf4f7Evan Hunt chmod 444 $@
8b9c4592ed718c4187971f1104381faf538bf4f7Evan Hunt
8b9c4592ed718c4187971f1104381faf538bf4f7Evan Hunt## two hardcoded dependencies for a correct generation of Version.hs
8b9c4592ed718c4187971f1104381faf538bf4f7Evan HuntDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
264e17e73941059877ccf3c96f26aac15a25500bMukund Sivaramanhets.hs: Driver/Version.hs
264e17e73941059877ccf3c96f26aac15a25500bMukund Sivaraman
264e17e73941059877ccf3c96f26aac15a25500bMukund SivaramanATC/DevGraph.hs: Static/DevGraph.hs
264e17e73941059877ccf3c96f26aac15a25500bMukund Sivaraman
9a8b2b3ab35fbbdf03acba32dade90ad91f75742Mukund Sivaraman## two dependencies for avoidence of circular prerequisites
9a8b2b3ab35fbbdf03acba32dade90ad91f75742Mukund SivaramanCASL_DEPENDENT_BINARIES= hets CASL/capa CASL/fromKif \
9a8b2b3ab35fbbdf03acba32dade90ad91f75742Mukund Sivaraman Common/annos Common/test_parser Comorphisms/test/showKP \
eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman$(CASL_DEPENDENT_BINARIES): $(sources) $(derived_sources)
eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman# CASL_DL/Logic.hs: CASL_DL/PredefinedSign.hs
eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman####################################################################
9540b42695c15fdd5f01b4c663e21936e6c38c82Mukund Sivaraman## rules for DrIFT
9540b42695c15fdd5f01b4c663e21936e6c38c82Mukund Sivaraman.SUFFIXES:
9540b42695c15fdd5f01b4c663e21936e6c38c82Mukund Sivaraman
9540b42695c15fdd5f01b4c663e21936e6c38c82Mukund Sivaraman%: %.hs packages
9540b42695c15fdd5f01b4c663e21936e6c38c82Mukund Sivaraman $(HC) --make -o $@ $< $(HC_OPTS)
fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman
fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman%.hs: %.y
fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman $(HAPPY) -o $@.tmp $<
fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman echo "{-# OPTIONS -w #-}" > $@
fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman cat $@.tmp >> $@
0d7548ee341c83c540624a423e2c701b6e9ddc4eEvan Hunt $(RM) $@.tmp
0d7548ee341c83c540624a423e2c701b6e9ddc4eEvan Hunt
0d7548ee341c83c540624a423e2c701b6e9ddc4eEvan Hunt%.hs: %.der.hs $(DRIFT)
2883bbaef3b2b712acfb89358f5a9c7ebb62733bEvan Hunt $(RM) $@
527163f0e5e8639bcceb7fe52387285042f5b24cEvan Hunt ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
527163f0e5e8639bcceb7fe52387285042f5b24cEvan Hunt chmod 444 $@
62a6147e51fd1ccb9ec1c1b6c97b6e9b9ef1f002Evan Hunt
62a6147e51fd1ccb9ec1c1b6c97b6e9b9ef1f002Evan Hunt## rules for inlineAxioms
62a6147e51fd1ccb9ec1c1b6c97b6e9b9ef1f002Evan Hunt%.hs: %.inline.hs $(INLINEAXIOMS)
4c432aae90bc9b220725ca7df5a6af40cf4c74b3Mark Andrews $(RM) $@
4c432aae90bc9b220725ca7df5a6af40cf4c74b3Mark Andrews $(INLINEAXIOMS) $< > $@
4c432aae90bc9b220725ca7df5a6af40cf4c74b3Mark Andrews chmod 444 $@
3195754154292f0651c195433607696a259a98e2Evan Hunt
3195754154292f0651c195433607696a259a98e2Evan Hunt## rule for cpp and haddock
911576956388270fe2401fbf9236d8879d2795e9Evan Hunt%.hspp: %.hs
911576956388270fe2401fbf9236d8879d2795e9Evan Hunt $(HC) -E -cpp -D__HADDOCK__ \
911576956388270fe2401fbf9236d8879d2795e9Evan Hunt -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
911576956388270fe2401fbf9236d8879d2795e9Evan Hunt
fd0d60b3a0139c040fedb0bb765fd9667831412eMark Andrews## compiling rules for object and interface files
fd0d60b3a0139c040fedb0bb765fd9667831412eMark Andrews%.o %.hi: %.hs
fd0d60b3a0139c040fedb0bb765fd9667831412eMark Andrews $(HC) -c $< $(HC_OPTS)
3001a1b4e6298466882a4147307b4c28a3b08f91Mark Andrews
3001a1b4e6298466882a4147307b4c28a3b08f91Mark Andrews%.o %.hi: %.lhs
3001a1b4e6298466882a4147307b4c28a3b08f91Mark Andrews $(HC) -c $< $(HC_OPTS)
1bce43adcc11d21afaf645cbe466553aabc725b2Mark Andrews
1bce43adcc11d21afaf645cbe466553aabc725b2Mark Andrews## compiling rules for dependencies
da4823c08a9a41e7b5ff1f3a83c80007f60fd21cMark Andrews%.d : %.hs
da4823c08a9a41e7b5ff1f3a83c80007f60fd21cMark Andrews $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
da4823c08a9a41e7b5ff1f3a83c80007f60fd21cMark Andrews
52cae869e0296713b764f6065bdad80832d4c493Mark Andrews%.d : %.lhs
52cae869e0296713b764f6065bdad80832d4c493Mark Andrews $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
52cae869e0296713b764f6065bdad80832d4c493Mark Andrews
403e7b451207fe6514a5d641562713b1af233b9cEvan Hunt## generate the inline file for the predefined CASL_DL sign
403e7b451207fe6514a5d641562713b1af233b9cEvan HuntCASL_DL/PredefinedSign.inline.hs: \
403e7b451207fe6514a5d641562713b1af233b9cEvan Hunt CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
62b5dd5b09cb575281f8193476b58a4bd9870fc9Evan Hunt CASL_DL/PredDatatypes.het
62b5dd5b09cb575281f8193476b58a4bd9870fc9Evan Hunt $(RM) $@
7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews < CASL_DL/PredefinedSign.inline.hs.in > $@
8c31a25f3ff5d6783c7add7c887e52f7031d173dMark Andrews echo " )" >> $@
8c31a25f3ff5d6783c7add7c887e52f7031d173dMark Andrews chmod 444 $@
8c31a25f3ff5d6783c7add7c887e52f7031d173dMark Andrews
8bcd80824c51c802c2927236b012cd526f569b04Mark Andrews# Warning: Don't change the order of the depencies!!
3be4330b77e6de0c6aa7cca74c1ae17fc661ac32Tinderbox UserCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
8bcd80824c51c802c2927236b012cd526f569b04Mark Andrews CASL_DL/Datatypes.het
7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews $(RM) $@
7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews $(PERL) $+ > $@
7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews chmod 444 $@
559cbe04e73cf601784a371e09554c20407a6c7bEvan Hunt
559cbe04e73cf601784a371e09554c20407a6c7bEvan Hunt## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
559cbe04e73cf601784a371e09554c20407a6c7bEvan Hunt# uses intransparently utils/outlineAxioms
559cbe04e73cf601784a371e09554c20407a6c7bEvan HuntModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
559cbe04e73cf601784a371e09554c20407a6c7bEvan Hunt utils/genTransMFormFunc.pl $(INLINEAXIOMS)
6ef61e764583887172e27c3bc681e36cfa27b469Mark Andrews $(RM) $@
94a94fca2444bb18b4bf74d6c5dbcbb89f139237Mark Andrews $(PERL) utils/genTransMFormFunc.pl $< $@
b81977ae70138c9befd8fa4bb66b6145e1986561Mark Andrews chmod 444 $@
b81977ae70138c9befd8fa4bb66b6145e1986561Mark Andrews
43769594c0e42e9822ef71daee8bbf35252d9300Evan HuntINSTALLER_DIR = ../installers
43769594c0e42e9822ef71daee8bbf35252d9300Evan Hunt
9ecedaea58defeadaf54dfc1211270653e0657ceMark Andrewsifeq ($(strip $(HETS_VERSION)),)
9ecedaea58defeadaf54dfc1211270653e0657ceMark AndrewsHETS_VERSION := `cat version_nr`
fc8c8966c906b305cb8b416a8f23f21abf103b7fEvan Hunt# or `date +%F`
fc8c8966c906b305cb8b416a8f23f21abf103b7fEvan Huntendif
fc8c8966c906b305cb8b416a8f23f21abf103b7fEvan Hunt
fc8c8966c906b305cb8b416a8f23f21abf103b7fEvan Huntinitialize_installer:
07b7a3eadeda94eddd50977c9582dae2f955b638Evan Hunt mkdir -p $(INSTALLER_DIR)
07b7a3eadeda94eddd50977c9582dae2f955b638Evan Hunt sed "s/^\(HETS_VERSION =\).*/\1$(HETS_VERSION)/" Makefile.installer \
07b7a3eadeda94eddd50977c9582dae2f955b638Evan Hunt > $(INSTALLER_DIR)/Makefile
07b7a3eadeda94eddd50977c9582dae2f955b638Evan Hunt @echo Please do
85a26f938eac3e147a48f671f6a6b5ee9cd1767dEvan Hunt @echo " -> cd $(INSTALLER_DIR)"
85a26f938eac3e147a48f671f6a6b5ee9cd1767dEvan Hunt @echo " -> make"
85a26f938eac3e147a48f671f6a6b5ee9cd1767dEvan Hunt @echo and wait until it is finished
4901f2c10b4393fd4407c8feb022c3415ab323c7Mark Andrews