8d1b3ceb4d491ce32572f1702f37ed585eede993Evan Hunt

30ca20f720ad0887772a79e7abb25b4fa0e4b5b0Mark Andrews

30ca20f720ad0887772a79e7abb25b4fa0e4b5b0Mark Andrews

30ca20f720ad0887772a79e7abb25b4fa0e4b5b0Mark Andrewsall: hets

701a93f5a592e4652343e049aa495d409c3ee133Mark Andrews

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 \

d8351dfc9b725b0d727be7acab6247d7d501d9a0Mark Andrews Taxonomy CASL_DL SoftFOL OWL_DL OMDoc PGIP Propositional

d8351dfc9b725b0d727be7acab6247d7d501d9a0Mark Andrews

3a29ce9c08dd31709c73e7187aebda0d360c537bEvan Huntempty =

5c78f1f50e53d8e2ed51a187efc2c9a0f43b4b1bMark Andrewsspace = $(empty) $(empty)

f1740da065d4555039fe8bb53beb4153e3f94de3Mark Andrews

f1740da065d4555039fe8bb53beb4153e3f94de3Mark AndrewsGHC_IMPORTS = `$(HC) --print-libdir`/imports

31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark AndrewsGHC5 = $(GHC_IMPORTS)/base:$(GHC_IMPORTS)/haskell98

31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark AndrewsDRIFT_ENV = \

31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrews DERIVEPATH=.:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))

31c7ab4fb3f7710af87dc9c3d64c5daf9a3dea35Mark Andrews

ad309e8dfa0601d6053aaa12770a98a6940f89deEvan HuntINSTALLDIR = \

635e4351b04fd61ca6d853bdac6268c090b55129Mark Andrews /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`

635e4351b04fd61ca6d853bdac6268c090b55129Mark Andrews

fc04365d2f83f197c8a54545dd9cd4ce6a209940Mark AndrewsDRIFT_deps = utils/DrIFT-src/*hs

fc04365d2f83f197c8a54545dd9cd4ce6a209940Mark AndrewsGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)

7cbac360bf98c0a52b2d6866ad887616c32d4d3aMark AndrewsGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs

7cbac360bf98c0a52b2d6866ad887616c32d4d3aMark AndrewsINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \

7cbac360bf98c0a52b2d6866ad887616c32d4d3aMark Andrews Common/Doc.hs CASL/ToDoc.hs Modal/AS_Modal.hs \

1cf118a656f5fd210787908b845362077fc507f8Evan Hunt Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs

1cf118a656f5fd210787908b845362077fc507f8Evan Hunt

1cf118a656f5fd210787908b845362077fc507f8Evan HuntHC = ghc

1cf118a656f5fd210787908b845362077fc507f8Evan HuntHCPKG = ghc-pkg

1cf118a656f5fd210787908b845362077fc507f8Evan HuntPERL = perl

1cf118a656f5fd210787908b845362077fc507f8Evan HuntHAPPY = happy -sga

1cf118a656f5fd210787908b845362077fc507f8Evan HuntGENRULES = utils/genRules

1cf118a656f5fd210787908b845362077fc507f8Evan HuntGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \

6fb3db01acad7f5c1f4e23789fb0f2ce56cc07deMukund Sivaraman -i Data.Typeable -i Common.ATerm.Lib

6fb3db01acad7f5c1f4e23789fb0f2ce56cc07deMukund SivaramanDRIFT = utils/DrIFT

6fb3db01acad7f5c1f4e23789fb0f2ce56cc07deMukund SivaramanINLINEAXIOMS = utils/outlineAxioms

fd82c70695888c134287b8018296028c252d100eMukund SivaramanHADDOCK = haddock

fd82c70695888c134287b8018296028c252d100eMukund Sivaraman

fd82c70695888c134287b8018296028c252d100eMukund SivaramanOSBYUNAME = $(shell uname)

fd82c70695888c134287b8018296028c252d100eMukund Sivaramanifneq ($(findstring SunOS, $(OSBYUNAME)),)

4a53e3c2b83c476a93148eaee0272649beb221caMark AndrewsTAR = gtar

4a53e3c2b83c476a93148eaee0272649beb221caMark AndrewsTAR = tar

2cf0fe3b8092f64f8f68ae3693fe2e73e90ad1a4Mark Andrews

2cf0fe3b8092f64f8f68ae3693fe2e73e90ad1a4Mark AndrewsARCH = $(subst $(space),,$(shell uname -m))

2cf0fe3b8092f64f8f68ae3693fe2e73e90ad1a4Mark AndrewsSETUP = utils/Setup

4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan HuntSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages

4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan Hunt

4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan HuntSETUPPACKAGE = ../$(SETUP) clean; \

4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan Hunt ../$(SETUP) configure -p $(SETUPPREFIX); \

4221d9cd1d02311fbf9b5f08a038f5af78b10b4aEvan Hunt ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install --user

f9c410d93711fbf312a0162f1e2d3f2a5ede69afFrancis Dupont

f9c410d93711fbf312a0162f1e2d3f2a5ede69afFrancis DupontHAXMLVERSION = $(shell $(HCPKG) field HaXml version)

f9c410d93711fbf312a0162f1e2d3f2a5ede69afFrancis Dupontifneq ($(findstring 1.13.2, $(HAXMLVERSION)),)

f9c410d93711fbf312a0162f1e2d3f2a5ede69afFrancis DupontHAXML_PACKAGE = -package HaXml -DHAXML_PACKAGE

e526027287b849f0b6ab6e069156697cbafa22c1Michał Kępień

e526027287b849f0b6ab6e069156697cbafa22c1Michał KępieńHC_WARN = -Wall -fno-warn-orphans

929329d2d66a7e1083c70a9c918381935bf12799Mukund SivaramanHC_FLAGS = $(HAXML_PACKAGE) \

929329d2d66a7e1083c70a9c918381935bf12799Mukund Sivaraman $(HC_WARN) -fglasgow-exts -fallow-overlapping-instances \

ec29d217ba3a2bf3e617a7b5b6708ae221bee999Mark Andrews

ec29d217ba3a2bf3e617a7b5b6708ae221bee999Mark Andrews

afefd754734f896bf3e0590177fff83e7cdfdf35Mark AndrewsHC_OPTS_MAC := $(if $(findstring Darwin,$(shell uname -s)), \

afefd754734f896bf3e0590177fff83e7cdfdf35Mark Andrews

f0353a586c2bfbae999193cb644b6bc94c7944d8Mark AndrewsHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))

f0353a586c2bfbae999193cb644b6bc94c7944d8Mark Andrews

7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Huntlogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SoftFOL \

7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt OWL_DL ConstraintCASL Propositional

7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt

7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan HuntTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \

7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \

7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \

7ff28f5befbee76048a23e504dcd3f9a44ce6209Evan Hunt 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

cad79077bd5b2616bc4a7a6b3cbc0953bef8917fMark AndrewsUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)

cad79077bd5b2616bc4a7a6b3cbc0953bef8917fMark Andrewsifneq ($(strip $(UNI_PACKAGE_CONF)),)

cad79077bd5b2616bc4a7a6b3cbc0953bef8917fMark AndrewsHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \

cad79077bd5b2616bc4a7a6b3cbc0953bef8917fMark Andrews -package uni-server -DUNI_PACKAGE

adfe58e8e5cd1890585e92b67f1fd01989a1fa7dMark Andrews

c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrewsuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \

c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrews ../uni/reactor ../uni/util ../uni/posixutil

c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrews

c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrewsuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \

c3237dec879f82855403ff7e3ba87b298172efd5Mark Andrews $(wildcard ../uni/htk/haddock/*/*.hs)

cb616c6d5c2ece1fac37fa6e0bca2b53d4043098Mark AndrewsTESTTARGETFILES += OWL_DL/ToHaskellAS.hs Taxonomy/taxonomyTool.hs \

cb616c6d5c2ece1fac37fa6e0bca2b53d4043098Mark Andrews SoftFOL/tests/CMDL_tests.hs

c0a2210466dec0cc81ebf2ffbe21693b57b9c29cMark Andrews

c0a2210466dec0cc81ebf2ffbe21693b57b9c29cMark AndrewsTESTDIRS += Common CASL HasCASL test

534057c9f91a3eb6e0541f3526459c716239b337Mark Andrews

534057c9f91a3eb6e0541f3526459c716239b337Mark Andrewshs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \

534057c9f91a3eb6e0541f3526459c716239b337Mark Andrews Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs

0f14b041328c062b1fa391887376388dfc8b2fe5Mark Andrews

0f14b041328c062b1fa391887376388dfc8b2fe5Mark AndrewsPFE_TOOLDIR = $(wildcard ../programatica/tools)

0f14b041328c062b1fa391887376388dfc8b2fe5Mark Andrewsifneq ($(strip $(PFE_TOOLDIR)),)

0f14b041328c062b1fa391887376388dfc8b2fe5Mark AndrewsPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \

f7f4730e563a2749629fe7fef4cd9513cd2bfab7Mark Andrews base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \

f7f4730e563a2749629fe7fef4cd9513cd2bfab7Mark Andrews base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \

1848d38f441ebf70ab21f6151bc3487a92d25b63Mark Andrews base/transforms base/transforms/Deriving property \

1848d38f441ebf70ab21f6151bc3487a92d25b63Mark Andrews property/syntax property/AST property/transforms \

2d82ed9456e72dc4373bea19d63411afe1c48962Mark Andrews property/TI property/defs property/parse2 property/parse2/Parser

2d82ed9456e72dc4373bea19d63411afe1c48962Mark Andrews

2d82ed9456e72dc4373bea19d63411afe1c48962Mark AndrewsPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))

a5a1cbece45e6ca68aafe3b9b995eac6b0f45dd2Mark Andrewspfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))

a5a1cbece45e6ca68aafe3b9b995eac6b0f45dd2Mark AndrewsPFE_PATH = $(addprefix -i, $(PFE_PATHS))

0d6328ce5f6b799f8e7c6cbbb3b965cf29bfb7baMark AndrewsPFE_FLAGS = -package programatica -DPROGRAMATICA

0d6328ce5f6b799f8e7c6cbbb3b965cf29bfb7baMark Andrewshappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs

0d6328ce5f6b799f8e7c6cbbb3b965cf29bfb7baMark Andrews

e01ef6f01c7e8f80122cd80a2e011425a0135489Mark AndrewsLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer

677f507de7c546c187c1505c48bc7b440545485cMark Andrews

677f507de7c546c187c1505c48bc7b440545485cMark Andrewsprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \

677f507de7c546c187c1505c48bc7b440545485cMark Andrews $(LEX_DIR)/HsLex.hs $(SETUP)

124cc0660c7eff8021c2422fb47441e9ca08b3f9Tinderbox User @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; \

677f507de7c546c187c1505c48bc7b440545485cMark Andrews cp -f $(SETUP) ../programatica/tools; \

677f507de7c546c187c1505c48bc7b440545485cMark Andrews (cd ../programatica/tools; \

bf459d24a117ae2c54c37016430b41cd6d73491cMark Andrews ./Setup build; ./Setup install --user) fi

bf459d24a117ae2c54c37016430b41cd6d73491cMark Andrews

bf459d24a117ae2c54c37016430b41cd6d73491cMark Andrews$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen

677f507de7c546c187c1505c48bc7b440545485cMark Andrews echo "{-# OPTIONS -w #-}" > $@

677f507de7c546c187c1505c48bc7b440545485cMark Andrews $< >> $@

677f507de7c546c187c1505c48bc7b440545485cMark Andrews

bf459d24a117ae2c54c37016430b41cd6d73491cMark Andrews$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \

f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Hunt $(LEX_DIR)/HsTokens.hs

f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Hunt $(HC) --make -fno-monomorphism-restriction -O \

f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Hunt -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \

f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Hunt -i$(PFE_TOOLDIR)/base/lib \

f53e0bda467d96dfeeba1b4da30c37b37766bb75Evan Hunt -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \

81e3e3084980afcd61416f572c6e72d38a3808abMichał Kępień $@.hs -o $@

81e3e3084980afcd61416f572c6e72d38a3808abMichał Kępień strip $@

81e3e3084980afcd61416f572c6e72d38a3808abMichał Kępień

81e3e3084980afcd61416f572c6e72d38a3808abMichał Kępieńlogics += Haskell

64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrewsderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \

64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrews $(LEX_DIR)Gen/HsLexerGen

64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrews

64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrewsutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs

64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrews $(HC) --make -o $@ $<

64d7fa3ec4785b390665860aa6bdae304b3c1d24Mark Andrews

75505befa93c993aa5d2df24a2b64eac0c34cbffMark AndrewsAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \

75505befa93c993aa5d2df24a2b64eac0c34cbffMark Andrews Haskell/ProgramaticaPrelude.hs

75505befa93c993aa5d2df24a2b64eac0c34cbffMark Andrews

a38f07c73790170842e4523b4a474d01ca0dede1Michał KępieńHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \

a38f07c73790170842e4523b4a474d01ca0dede1Michał Kępień $(APPENDPRELUDESTRING)

39d5523a8afc73cbdb4fa426de2ce071267a5d6fMark Andrews $(RM) $@

39d5523a8afc73cbdb4fa426de2ce071267a5d6fMark Andrews $(APPENDPRELUDESTRING) < $< > $@

39d5523a8afc73cbdb4fa426de2ce071267a5d6fMark Andrews chmod 444 $@

39d5523a8afc73cbdb4fa426de2ce071267a5d6fMark Andrews

1f4a3c7088594d1b64cd734eb69e1fd023fde8bfMichał KępieńAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \

1f4a3c7088594d1b64cd734eb69e1fd023fde8bfMichał Kępień HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \

1f4a3c7088594d1b64cd734eb69e1fd023fde8bfMichał Kępień HsModule HsName HsLiteral HsIdent

91827e6fd3851a5fe129ef5409ff45833ca01a0eMark Andrews

35aae5884f410180706a89a9715bf9a85eeeb4b7Michał Kępień

35aae5884f410180706a89a9715bf9a85eeeb4b7Michał Kępień

57b1d64d9ae12d56973716e96f9743a00d47af4aMichał KępieńOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \

57b1d64d9ae12d56973716e96f9743a00d47af4aMichał Kępień base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \

57b1d64d9ae12d56973716e96f9743a00d47af4aMichał Kępień base/parse2/SourceNames base/syntax/SyntaxRec \

2d517e233ff3b3fcd272eb5b2e2d3db6d31a1681Michał Kępień property/syntax/PropSyntaxStruct

2d517e233ff3b3fcd272eb5b2e2d3db6d31a1681Michał Kępień

2d517e233ff3b3fcd272eb5b2e2d3db6d31a1681Michał KępieńHaskell_files = $(addsuffix .hs, \

86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrews

86d2f9abc8493321aacb0d540485de4d562fb734Mark AndrewsHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)

86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrews $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)

86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrews

86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrewshs_der_files += $(hs_clean_files)

86d2f9abc8493321aacb0d540485de4d562fb734Mark Andrews

86d2f9abc8493321aacb0d540485de4d562fb734Mark AndrewsTESTDIRS += ToHaskell Haskell/test

09c3efda414314d7edcfb2aed9463fb935fc95a6Mark AndrewsTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs

c7e57ce1b0bca9bc7da14bec485f7a7e3e4c761fMichał Kępień

c7e57ce1b0bca9bc7da14bec485f7a7e3e4c761fMichał KępieńTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))

c7e57ce1b0bca9bc7da14bec485f7a7e3e4c761fMichał Kępień

70e041bea19b6ad9522b89c2299ad315a2deaafdMark Andrews

70e041bea19b6ad9522b89c2299ad315a2deaafdMark AndrewsHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS) $(HC_PROF) \

70e041bea19b6ad9522b89c2299ad315a2deaafdMark Andrews -DCASLEXTENSIONS $(HC_OPTS_MAC)

67247b4a8304bac790648a351a95b8b0f4c512a6Mark Andrews

eeb919b6f572e033d97cf001e4cd44aaff54e5dcMichał Kępień

eeb919b6f572e033d97cf001e4cd44aaff54e5dcMichał Kępieńnon_sources = Common/LaTeX_maps.svmono.hs Common/CaslLanguage.hs ./Test.hs \

a55438eda32ecebf43ead45b216662b7923a465fMark Andrews $(SETUP).hs

a55438eda32ecebf43ead45b216662b7923a465fMark Andrews

a55438eda32ecebf43ead45b216662b7923a465fMark Andrewssources = hets.hs $(filter-out $(non_sources), \

8de17f83cafa91a5720dd0b8c1aee5f47f6d7f09Evan Hunt

8de17f83cafa91a5720dd0b8c1aee5f47f6d7f09Evan Huntobjects = $(sources:%.hs=%.o)

9789e54e55b61b669fb31a8b70e9655e8357dda2Mark Andrews

9789e54e55b61b669fb31a8b70e9655e8357dda2Mark Andrewsdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \

f8362536c647625e602c8450a778a2b7ba90c9f4Mark Andrews Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \

f8362536c647625e602c8450a778a2b7ba90c9f4Mark Andrews ATC/DevGraph.hs \

f8362536c647625e602c8450a778a2b7ba90c9f4Mark Andrews Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\

24231e53a5c3079431f84dcddfee1e761fec7329Mark Andrews ConstraintCASL/AS_ConstraintCASL.hs\

24231e53a5c3079431f84dcddfee1e761fec7329Mark Andrews Propositional/AS_BASIC_Propositional.hs\

24231e53a5c3079431f84dcddfee1e761fec7329Mark Andrews $(gendrifted_files)

24231e53a5c3079431f84dcddfee1e761fec7329Mark Andrews

4b669b69bae7dedda2faa09a7ade247499c1d49cMichał Kępieńatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \

4b669b69bae7dedda2faa09a7ade247499c1d49cMichał Kępień Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \

4b669b69bae7dedda2faa09a7ade247499c1d49cMichał Kępień Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \

4b669b69bae7dedda2faa09a7ade247499c1d49cMichał Kępień Logic/Prover.hs #Common/Id.hs Common/Result.hs OWL_DL/AS.hs

eb11b39981689e4a20fbe95e533577eacab992b4Mukund Sivaraman

eb11b39981689e4a20fbe95e533577eacab992b4Mukund Sivaramanatc_der_files = $(foreach file, $(atc_files), \

8daeae9b01a2b7eb9fd6511b352b03bd7d96ae79Michał Kępień

8daeae9b01a2b7eb9fd6511b352b03bd7d96ae79Michał KępieńATC/Id.der.hs: Common/Id.hs $(GENRULES)

e7c0f978425f45731b08be1363f20626b0344f23Evan Hunt $(GENRULECALL) -o $@ $<

e7c0f978425f45731b08be1363f20626b0344f23Evan Hunt

01967d183990e44752fe61f193dab9c04c3afd9cEvan HuntATC/Result.der.hs: Common/Result.hs $(GENRULES)

01967d183990e44752fe61f193dab9c04c3afd9cEvan Hunt $(GENRULECALL) -o $@ $<

01967d183990e44752fe61f193dab9c04c3afd9cEvan Hunt

575e9d9e4b6beaae688f107814a320b91243a4b2Mark AndrewsATC/AS_Annotation.der.hs: Common/AS_Annotation.der.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 HuntCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \

b7b76d6b855cd4c1152c26d34fb61af05f965c5eEvan Hunt CASL/AS_Basic_CASL.der.hs

b7b76d6b855cd4c1152c26d34fb61af05f965c5eEvan Hunt

b7b76d6b855cd4c1152c26d34fb61af05f965c5eEvan HuntHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs

764e2f3413ca89d09abffb3eb228c8c820bf08b8Mark Andrews

764e2f3413ca89d09abffb3eb228c8c820bf08b8Mark AndrewsIsabelle_files = Isabelle/IsaSign.hs

764e2f3413ca89d09abffb3eb228c8c820bf08b8Mark Andrews

764e2f3413ca89d09abffb3eb228c8c820bf08b8Mark AndrewsPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \

a06198688faca5c7bc1a35ec0ec18bc68c07691cEvan Hunt Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs\

a06198688faca5c7bc1a35ec0ec18bc68c07691cEvan Hunt Propositional/Sublogic.hs

a06198688faca5c7bc1a35ec0ec18bc68c07691cEvan HuntModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs

50433a667cf0ed3ac7807768b745b0d870ff8c8bMark AndrewsConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs

50433a667cf0ed3ac7807768b745b0d870ff8c8bMark AndrewsCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs

3c12bec945ee71a38c5ba6f624abd12e2da7eea5Mark AndrewsCOL_files = COL/AS_COL.hs COL/COLSign.hs

3c12bec945ee71a38c5ba6f624abd12e2da7eea5Mark AndrewsCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \

f44202ab640d22e17b4c74bdad7817622918bd27Mark Andrews CspCASL/SignCSP.hs

f44202ab640d22e17b4c74bdad7817622918bd27Mark Andrews

f44202ab640d22e17b4c74bdad7817622918bd27Mark AndrewsCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs

ad9772c559c6aa42f8930f4acf1a2d833a08040aMichał Kępień

ad9772c559c6aa42f8930f4acf1a2d833a08040aMichał KępieńSoftFOL_files = SoftFOL/Sign.hs

ad9772c559c6aa42f8930f4acf1a2d833a08040aMichał Kępień

ad9772c559c6aa42f8930f4acf1a2d833a08040aMichał KępieńOWL_DL_files = OWL_DL/Sign.hs

5d7d67f82a8913fae5f1098e111fe50edb86cd5bEvan Hunt

5d7d67f82a8913fae5f1098e111fe50edb86cd5bEvan Huntatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)

5d7d67f82a8913fae5f1098e111fe50edb86cd5bEvan Hunt

6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Huntgenerated_rule_files = $(atc_der_files) $(atc_logic_files)

6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Hunt

6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Huntgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))

6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Hunt

6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Huntinline_axiom_files = Comorphisms/CASL2PCFOL.hs \

6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Hunt Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \

6216df5ccded056abd5db4abac4e5cbd78c73f45Evan Hunt Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs

56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Hunt

56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Huntgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))

56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Hunt

56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Huntderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \

56e30ebae6fdb0bdf94419caff3a43fb2d16c5dfEvan Hunt $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files) \

c85920c0b4b2d4dc605c0b1d355881925bf410afMark Andrews OWL_DL/ReadWrite.hs ConstraintCASL/AS_ConstraintCASL.hs

c85920c0b4b2d4dc605c0b1d355881925bf410afMark Andrews

0612274565d80e0ad87a19920e561cce5bddb05bEvan Huntcpp_sources = \

0612274565d80e0ad87a19920e561cce5bddb05bEvan Hunt Isabelle/CreateTheories.hs \

0612274565d80e0ad87a19920e561cce5bddb05bEvan Hunt SoftFOL/Logic_SoftFOL.hs GUI/Utils.hs Driver/WriteFn.hs \

f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt Propositional/Logic_Propositional.hs \

f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \

f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt Comorphisms/KnownProvers.hs hets.hs $(happy_files) \

f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt PGIP/InfoCommands.hs PGIP/ProveCommands.hs

f592d2f76cac7115038124c510d2ba3050334b4dEvan Hunt

4ee1fbe056e812e661b856b4b448296331a40249Michał Kępieńgenrule_header_files = $(wildcard ATC/*.header.hs)

1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews

1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrewsnondoc_sources = $(wildcard utils/DrIFT-src/*.hs) \

1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews $(wildcard utils/DrIFT-src/*.lhs) \

1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews $(wildcard utils/GenerateRules/*.hs) \

1c8aa38b53a0494fc7d4c3439594d1913987f264Mark Andrews $(wildcard utils/InlineAxioms/*.hs) \

43d53a4e4b2f0f9482485a8ab764137a9898ab32Evan Hunt $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \

43d53a4e4b2f0f9482485a8ab764137a9898ab32Evan Hunt $(genrule_header_files) $(generated_rule_files) \

43d53a4e4b2f0f9482485a8ab764137a9898ab32Evan Hunt $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \

b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień Modal/GeneratePatterns.inline.hs \

b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \

b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień SoftFOL/MathServCommunication.hs \

b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień $(patsubst %.hs, %.der.hs, $(drifted_files))

b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień

b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępieńhspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))

b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępień

b1ce9b3d54cd072adb5275f08a9afac31cfb4c1cMichał Kępieńdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))

5fa4be41a383cfbf5e1d195b18c04bdbf5603710Evan Hunt

5fa4be41a383cfbf5e1d195b18c04bdbf5603710Evan Hunttax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \

5fa4be41a383cfbf5e1d195b18c04bdbf5603710Evan Hunt Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs

2732d4922c2e72a399204320791acfd2fd3d6c7cMark Andrews

2732d4922c2e72a399204320791acfd2fd3d6c7cMark Andrewstax_objects = $(patsubst %.hs, %.o, $(tax_sources))

2732d4922c2e72a399204320791acfd2fd3d6c7cMark Andrews

24ffba17f06746257d5c009ca8ebfe6043966d20Evan Hunt

24ffba17f06746257d5c009ca8ebfe6043966d20Evan Hunt.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \

24ffba17f06746257d5c009ca8ebfe6043966d20Evan Hunt real_clean bin_clean package_clean distclean packages \

21d58795b10a13fa7ac306f7146bdcb58b2e5165Mark Andrews http_pkg syb_pkg shellac_pkg shread_pkg hxt_pkg haifa_pkg \

21d58795b10a13fa7ac306f7146bdcb58b2e5165Mark Andrews check capa hacapa h2h h2hf showKP clean_genRules genRules \

d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt count doc apache_doc post_doc4apache fromKif \

d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt programatica_pkg maintainer-clean annos \

d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt derivedSources install_hets install release cgi ghci

d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt

d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)

d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt

d5bd8bb71a8970d4ebc4701b3e9ec3efef4954b7Evan Hunt$(SETUP): utils/Setup.hs

ad1317338af79edad878c9c3e4361798503310baMark Andrews $(HC) --make -O -o $@ $<

ad1317338af79edad878c9c3e4361798503310baMark Andrews

9519bb92d7f3f35015aecb84954dd21607cc2c80Evan Huntpackages: http_pkg syb_pkg shellac_pkg shread_pkg hxt_pkg haifa_pkg \

9519bb92d7f3f35015aecb84954dd21607cc2c80Evan Hunt programatica_pkg

9519bb92d7f3f35015aecb84954dd21607cc2c80Evan Hunt

1c81aef28ddf0905344cc58dd3ea0ca539ef1414Evan Hunthttp_pkg: utils/http.tgz $(SETUP)

1c81aef28ddf0905344cc58dd3ea0ca539ef1414Evan Hunt @if $(HCPKG) field HTTP version; then \

1c81aef28ddf0905344cc58dd3ea0ca539ef1414Evan Hunt echo "of HTTP package found"; else \

1c81aef28ddf0905344cc58dd3ea0ca539ef1414Evan Hunt $(RM) -r http; \

da1f585afa8c103508c759142d6aed4edae6936eMark Andrews $(TAR) zxf utils/http.tgz; \

da1f585afa8c103508c759142d6aed4edae6936eMark Andrews (cd http; $(SETUPPACKAGE)) fi

da1f585afa8c103508c759142d6aed4edae6936eMark Andrews

a8fa3e2d44ce6a8f4069d8f4229d29f5ba6a4a27Mukund Sivaramansyb_pkg: $(SETUP)

a8fa3e2d44ce6a8f4069d8f4229d29f5ba6a4a27Mukund Sivaraman @if $(HCPKG) field syb-generics version; then \

a8fa3e2d44ce6a8f4069d8f4229d29f5ba6a4a27Mukund Sivaraman echo "of syb-generics package found"; else \

d71d41341d36ddfd347daab982f0cb85d3dd7c4eMark Andrews (cd syb-generics; $(SETUPPACKAGE)) fi

d71d41341d36ddfd347daab982f0cb85d3dd7c4eMark Andrews

d72952cf254b71c44e5e956a306016a5be9b9c38Mark Andrewsshellac_pkg: utils/shellac.tgz $(SETUP)

d72952cf254b71c44e5e956a306016a5be9b9c38Mark Andrews @if $(HCPKG) field Shellac version; then \

aae171c5421ac2ba665ff122e004e753e62bac45Mark Andrews echo "of shellac package found"; else \

aae171c5421ac2ba665ff122e004e753e62bac45Mark Andrews $(RM) -r shellac; \

6b183c64a3281491f8232959a5ece303b4499706Mark Andrews $(TAR) zxf utils/shellac.tgz; \

6b183c64a3281491f8232959a5ece303b4499706Mark Andrews (cd shellac; $(SETUPPACKAGE)) fi

5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępień

5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępieńshread_pkg: utils/shread.tgz $(SETUP) shellac_pkg

5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępień @if $(HCPKG) field Shellac-readline version; then \

5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępień echo "of shellac-readline package found"; else \

5a8f2f0cd67a5dd93d95e6a0935d4805721c3a0bMichał Kępień $(RM) -rf shread; \

e2cc7418bf895d22854d84590b63905fac0d4b90Mark Andrews $(TAR) zxf utils/shread.tgz; \

e2cc7418bf895d22854d84590b63905fac0d4b90Mark Andrews (cd shread; $(SETUPPACKAGE)) fi

36ec0d374836d070ba05b495e6f0a27f60e94476Evan Hunt

36ec0d374836d070ba05b495e6f0a27f60e94476Evan Hunthxt_pkg: $(SETUP) http_pkg

36ec0d374836d070ba05b495e6f0a27f60e94476Evan Hunt @if $(HCPKG) field hxt version; then \

e446fd29b9c6c4a7b6b5bb0aee3932578c346718Mukund Sivaraman echo "of hxt package found"; else \

f896f7c8be894a737998b97008a1389e72972fcfMukund Sivaraman $(RM) -rf hxt; \

e446fd29b9c6c4a7b6b5bb0aee3932578c346718Mukund Sivaraman $(TAR) zxf utils/hxt.tgz; \

027a4a5b5d806290146ce4989d34be2c8a664e8cMukund Sivaraman (cd hxt; $(SETUPPACKAGE)) fi

027a4a5b5d806290146ce4989d34be2c8a664e8cMukund Sivaraman

b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaramanhaifa_pkg: $(SETUP) hxt_pkg syb_pkg

b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaraman @if $(HCPKG) field HAIFA version; then \

b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaraman echo "of HAIFA package found"; else \

b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaraman (cd haifa-lite; $(SETUPPACKAGE)) fi

b5252fcde512405a68dd4becfe683d9763bd0feaMukund Sivaraman

99056063905a9273ec59cf477ae747e0490182b7Mukund Sivaramanprogramatica_pkg:

99056063905a9273ec59cf477ae747e0490182b7Mukund Sivaraman

99056063905a9273ec59cf477ae747e0490182b7Mukund Sivaramanhets-opt:

62f2fefaec754e6a4841ff0e72726e6c0cd89c86Michał Kępień $(MAKE) distclean

62f2fefaec754e6a4841ff0e72726e6c0cd89c86Michał Kępień $(MAKE) derivedSources

62f2fefaec754e6a4841ff0e72726e6c0cd89c86Michał Kępień $(MAKE) clean

62f2fefaec754e6a4841ff0e72726e6c0cd89c86Michał Kępień $(MAKE) hets-optimized

b351a5864727a390e06d787e522b141ca760590fMichał Kępień

b351a5864727a390e06d787e522b141ca760590fMichał Kępieńhets-optimized: $(derived_sources)

b351a5864727a390e06d787e522b141ca760590fMichał Kępień $(HC) --make -O -o hets hets.hs $(HC_OPTS)

b351a5864727a390e06d787e522b141ca760590fMichał Kępień strip hets

b351a5864727a390e06d787e522b141ca760590fMichał Kępień

b351a5864727a390e06d787e522b141ca760590fMichał Kępieńhets-old: $(objects)

b351a5864727a390e06d787e522b141ca760590fMichał Kępień $(RM) $@

8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrews $(HC) -o hets $(HC_OPTS) $(objects)

8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrews

8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrewscgi:

8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrews $(MAKE) distclean

8008de0b11bacb3de3a1016c8c0a46f3c0653184Mark Andrews $(MAKE) derivedSources

7b4bfc0201ffbcd64a336b99c945891808c44af0Mark Andrews $(MAKE) real_clean

7b4bfc0201ffbcd64a336b99c945891808c44af0Mark Andrews $(MAKE) hets.cgi

b815731d05220f932315eb33a97c6dc888c6a026Tinderbox User

7cd594b8427fe742d44295790ba367e1de22a47dEvan Hunthets.cgi: $(sources) GUI/hets_cgi.hs

7cd594b8427fe742d44295790ba367e1de22a47dEvan Hunt ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O

7cd594b8427fe742d44295790ba367e1de22a47dEvan Hunt strip hets.cgi

c76e8412f4ff4f5945157410312df2a8950f942dMark Andrews

c76e8412f4ff4f5945157410312df2a8950f942dMark Andrewshets_maintainers.txt: $(sources)

a2a0100e0fc73c0af67a7c9e3524816954448dc6Evan Hunt @echo 'File : Maintainer' > $@

a2a0100e0fc73c0af67a7c9e3524816954448dc6Evan Hunt @echo -n Generating $@ " "

a2a0100e0fc73c0af67a7c9e3524816954448dc6Evan Hunt @$(PERL) -e \

a2a0100e0fc73c0af67a7c9e3524816954448dc6Evan Hunt 'foreach my $$f (@ARGV) { open I, "<$$f"; \

1feffc6fdb1ba386b22d45ea2d2f1613e717cb9eMark Andrews print " $$1" ; last} }; print "\n"; close I; }' \

22bed621ef87bc8b6c1fea599b02c4b38dd6bf48Mark Andrews $(sources) >> $@

22bed621ef87bc8b6c1fea599b02c4b38dd6bf48Mark Andrews @echo " done"

22bed621ef87bc8b6c1fea599b02c4b38dd6bf48Mark Andrews

68d7ff133c9a1b8cfe683c70e997d83395ffd155Evan Huntcount: $(sources)

e5f5675b1da287ed40aeff081ad2af86090e8d17Evan Hunt wc -l $(sources)

29f0ced781d745591fd058e530a68a281cd7a510Evan Huntdoc: docs/index.html

29f0ced781d745591fd058e530a68a281cd7a510Evan Hunt

b9fd54f8d4572fe5dcaf9d4b74f6ecb8027cc450Evan Huntdocs/index.html: $(doc_sources)

b9fd54f8d4572fe5dcaf9d4b74f6ecb8027cc450Evan Hunt $(RM) -r docs

fcb5e646e4d775539e348fa21ba13307f2695bf5Mark Andrews mkdir docs

fcb5e646e4d775539e348fa21ba13307f2695bf5Mark Andrews cp -r -L ../uni/www docs/www || mkdir docs/www

fcb5e646e4d775539e348fa21ba13307f2695bf5Mark Andrews HINTERFACES0=`find -L docs/www -name '*.haddock' \

a22c3cf51567651f74aee5c263c597b8d752c2ccMichał Kępień -printf "--read-interface=www/%P,%p "` ; \

a22c3cf51567651f74aee5c263c597b8d752c2ccMichał Kępień HINTERFACES=`echo $$HINTERFACES0 | \

a22c3cf51567651f74aee5c263c597b8d752c2ccMichał Kępień $(PERL) -pe 's+/[^/]*.haddock,+,+g'` ; \

a22c3cf51567651f74aee5c263c597b8d752c2ccMichał Kępień $(HADDOCK) -o docs -h -v -s ../%F $$HINTERFACES \

b301c4293c082fcce4ec26218e6fad346976eb9eMark Andrews -t 'Hets - the Heterogeneous Tool Set' \

b301c4293c082fcce4ec26218e6fad346976eb9eMark Andrews -p Hets-Haddock-Prologue.txt $(doc_sources)

b301c4293c082fcce4ec26218e6fad346976eb9eMark Andrews

5c4e0c7800b5c7783e7f8b9ce80a6f8dc47f8856Mark Andrewsapache_doc:

5c4e0c7800b5c7783e7f8b9ce80a6f8dc47f8856Mark Andrews $(RM) -r docs

6e1f755f19ef244422e1efa4551fe23775e1a38cMark Andrews cvs up -d ; echo "CVS exited with: " $$?

6e1f755f19ef244422e1efa4551fe23775e1a38cMark Andrews $(MAKE) hets-opt

6e1f755f19ef244422e1efa4551fe23775e1a38cMark Andrews $(MAKE) doc

435a7cd2293dfa9264678508762ab9acb8d41e50Mark Andrews $(MAKE) post_doc4apache

435a7cd2293dfa9264678508762ab9acb8d41e50Mark Andrews $(MAKE) o_clean

435a7cd2293dfa9264678508762ab9acb8d41e50Mark Andrews $(MAKE) hets.cgi

b7a823a402eb5c4e99f283e58d778a903d2e72f5Michał Kępień

b7a823a402eb5c4e99f283e58d778a903d2e72f5Michał Kępieńpost_doc4apache:

b7a823a402eb5c4e99f283e58d778a903d2e72f5Michał Kępień $(RM) -r a-docs

c46c8e5c56ec4e81a39632e0036f20a6a3c18b8bMark Andrews cp -r docs a-docs

031bc55634f443c7c70fbf44c6ac6d8abe72f22bEvan Hunt $(PERL) utils/post_process_docs.pl a-docs \

031bc55634f443c7c70fbf44c6ac6d8abe72f22bEvan Hunt 'Common.Lib.Map.html:Common.Lib._Map.html'

031bc55634f443c7c70fbf44c6ac6d8abe72f22bEvan Hunt $(PERL) utils/post_process_docs.pl a-docs \

a64daf673deff2358a91bee26bbf2bf874f47c6eMark Andrews 'Data.Map.html:Data._Map.html'

a64daf673deff2358a91bee26bbf2bf874f47c6eMark Andrews

0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał Kępień

0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał KępieńderivedSources: $(derived_sources) $(hspp_sources)

0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał Kępień

0aadc6dd7b719539445e7a0a058b15dd9d982a9bMichał Kępieńutils/DrIFT: $(DRIFT_deps)

f20ff8b74d21fa3e3f071544f6fd060d015cf27eMichał Kępień (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \

f20ff8b74d21fa3e3f071544f6fd060d015cf27eMichał Kępień

7ff682f3c628d785048bbe0242e6a32ea26c6747Michał Kępieńutils/genRules: $(GENERATERULES_deps)

7ff682f3c628d785048bbe0242e6a32ea26c6747Michał Kępień (cd utils/GenerateRules; \

e02fa56849131911e9554133b17a5325b37d0828Michał Kępień

e02fa56849131911e9554133b17a5325b37d0828Michał Kępień$(INLINEAXIOMS): $(INLINEAXIOMS_deps)

abcea74291c37abf68be4e06997c59e5494f06adMark Andrews $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \

abcea74291c37abf68be4e06997c59e5494f06adMark Andrews -i../.. -o $(INLINEAXIOMS)

abcea74291c37abf68be4e06997c59e5494f06adMark Andrews strip $(INLINEAXIOMS)

d748d8a4afc200800f6289683361a393b15ba6bfMichał Kępień

d748d8a4afc200800f6289683361a393b15ba6bfMichał KępieńRELEASETAG =

cbb33c87f4bcf415c840acb61c9d4642c3c2a8e0Michał Kępień

cbb33c87f4bcf415c840acb61c9d4642c3c2a8e0Michał Kępieńrelease:

cbb33c87f4bcf415c840acb61c9d4642c3c2a8e0Michał Kępień $(RM) -r Hets

324b00ad4950b00346f5ba2382a51709bd82afe9Mark Andrews svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk Hets

324b00ad4950b00346f5ba2382a51709bd82afe9Mark Andrews $(RM) -r uni

296f5969a8dd6e3d1bb3761569c6a7070abd2e47Tinderbox User if [ -d ../uni ] ; then ln -s ../uni uni ; fi

4dc6fa1e92af7a62875b6f6f2931beefd58cb4faEvan Hunt $(RM) -r programatica

4dc6fa1e92af7a62875b6f6f2931beefd58cb4faEvan Hunt if [ -d ../programatica ] ; then \

4dc6fa1e92af7a62875b6f6f2931beefd58cb4faEvan Hunt mkdir programatica; \

b81b178ab919bdbd92021cfc7e6e8d971cd38e83Mark Andrews ln -s ../../programatica/tools programatica/tools ; fi

b81b178ab919bdbd92021cfc7e6e8d971cd38e83Mark Andrews (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \

6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman $(TAR) cvf Hets.tar Hets

6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman

6e10f87913db176724e89b52e686b0992898da75Mukund Sivaramaninstall-hets:

6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman chmod g+w hets

6e10f87913db176724e89b52e686b0992898da75Mukund Sivaraman cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`

37f6466aa327a5b444e41c8cb57ab5caacfe6279Evan Hunt cp -p version_nr $(INSTALLDIR)

37f6466aa327a5b444e41c8cb57ab5caacfe6279Evan Hunt (cd $(INSTALLDIR); $(RM) hets; \

37f6466aa327a5b444e41c8cb57ab5caacfe6279Evan Hunt

4162d3b36d1a3c25724c7e37ce839f67b2352bbbMark Andrewsinstall: hets-opt install-hets

4162d3b36d1a3c25724c7e37ce839f67b2352bbbMark Andrews

4162d3b36d1a3c25724c7e37ce839f67b2352bbbMark Andrewspack/install-%.jar: pack/install-%.xml pack/UserInputSpec-%.xml hets.in hets

ce6f0c122140647b5652c0d4de523c994fcfea08Michał Kępień ## TODO: add more dependencies and use hets-opt

ce6f0c122140647b5652c0d4de523c994fcfea08Michał Kępień compile $< -b . -k standard -o $@

f72f5879424ce4081893b306b8c31f29fe9205e0Evan Hunt

f72f5879424ce4081893b306b8c31f29fe9205e0Evan Hunt

1073e2001caee13cc1fa52de97feddd633d50fd8Evan Huntutils/genItCorrections: $(GENITCORRECTIONS_deps)

1073e2001caee13cc1fa52de97feddd633d50fd8Evan Hunt $(HC) --make -o $@ $<

1073e2001caee13cc1fa52de97feddd633d50fd8Evan Hunt strip $@

1073e2001caee13cc1fa52de97feddd633d50fd8Evan Hunt

1073e2001caee13cc1fa52de97feddd633d50fd8Evan Huntpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \

78608b0a454246d0e1e0169f1d671b8427e48199Francis Dupont pretty/words.input pretty/fonts.input pretty/width-table.tex.templ

11c4e6d8fcc9bc148543c1ee632315e096d2bcf2Michał Kępień @echo -n "Generating pretty/LaTeX_maps.hs ... "

11c4e6d8fcc9bc148543c1ee632315e096d2bcf2Michał Kępień @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)

11c4e6d8fcc9bc148543c1ee632315e096d2bcf2Michał Kępień @(cd pretty >/dev/null; ../utils/genItCorrections \

59122481b2aa65de4518677c6949f03711d2553aEvan Hunt @echo "ready"

59122481b2aa65de4518677c6949f03711d2553aEvan Hunt @echo "please copy the file manually to Common"

59122481b2aa65de4518677c6949f03711d2553aEvan Hunt

fe6d2fd8338d6f6ac4c79bea9a8daad903460040Evan Hunt

fe6d2fd8338d6f6ac4c79bea9a8daad903460040Evan HuntgenRules: $(generated_rule_files)

05a456499af940762d6658366abafb220c5053ccMark Andrews

05a456499af940762d6658366abafb220c5053ccMark AndrewsCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)

05a456499af940762d6658366abafb220c5053ccMark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)

cb4e0ef4e2c8a942f99af6ecc6aa564c903b00a0Mark Andrews

cb4e0ef4e2c8a942f99af6ecc6aa564c903b00a0Mark AndrewsPropositional/ATC_Propositional.der.hs: $(Propositional_files) \

cb4e0ef4e2c8a942f99af6ecc6aa564c903b00a0Mark Andrews $(GENRULES)

cb4e0ef4e2c8a942f99af6ecc6aa564c903b00a0Mark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ \

e3efc855f9f0acc9b14bb8e9c833e0fa209068b6Mark Andrews $(Propositional_files)

e3efc855f9f0acc9b14bb8e9c833e0fa209068b6Mark Andrews

e3efc855f9f0acc9b14bb8e9c833e0fa209068b6Mark AndrewsHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)

e56c0854589d936f911e0aac2f2bf53cbc8a6af7Michał Kępień $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)

e56c0854589d936f911e0aac2f2bf53cbc8a6af7Michał Kępień

e56c0854589d936f911e0aac2f2bf53cbc8a6af7Michał KępieńIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)

6727802528c27484e0d36d70f0b936022d3226e3Michał Kępień $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)

6727802528c27484e0d36d70f0b936022d3226e3Michał Kępień

6727802528c27484e0d36d70f0b936022d3226e3Michał KępieńModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)

6727802528c27484e0d36d70f0b936022d3226e3Michał Kępień $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)

4d41be5f9e86c11a6f00e2b005cfc5abae2c1ab3Mark Andrews

4d41be5f9e86c11a6f00e2b005cfc5abae2c1ab3Mark AndrewsConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)

bfde61d5194a534d800f3b90008d1f52261922c5Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)

bfde61d5194a534d800f3b90008d1f52261922c5Mark Andrews

bfde61d5194a534d800f3b90008d1f52261922c5Mark AndrewsCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)

42ae02626d05921ca7508ae6f9c48ea699596bc6Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)

6b56350522d18f10edbf2d3778cd0fea74e4f3d2Mark Andrews

6b56350522d18f10edbf2d3778cd0fea74e4f3d2Mark AndrewsCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)

42ae02626d05921ca7508ae6f9c48ea699596bc6Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)

41caed6e2d7e9caace30e6c59f199ab6bd438f01Mark Andrews

16f43564c6875e2bedd346c18c494933ad51e4faMukund SivaramanCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)

16f43564c6875e2bedd346c18c494933ad51e4faMukund Sivaraman $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)

16f43564c6875e2bedd346c18c494933ad51e4faMukund Sivaraman

16f43564c6875e2bedd346c18c494933ad51e4faMukund SivaramanCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)

16f43564c6875e2bedd346c18c494933ad51e4faMukund Sivaraman $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)

72b322cde0e51c4c87df0c9e3226deac95dfb4ceMark Andrews

72b322cde0e51c4c87df0c9e3226deac95dfb4ceMark AndrewsSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)

28ea558bc80f75e46d77ea0533232bb9d4e644f7Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)

28ea558bc80f75e46d77ea0533232bb9d4e644f7Mark Andrews

8ed6c49f1a7f06d3ed39bee7731ff91d8dfd8dc7Mark AndrewsOWL_DL/ATC_OWL_DL.der.hs: $(OWL_DL_files) $(GENRULES)

8ed6c49f1a7f06d3ed39bee7731ff91d8dfd8dc7Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -i OWL_DL.ReadWrite \

447dfe4f115b17274eabf1087f035634e1129bb9Mark Andrews -o $@ $(OWL_DL_files)

565535d1820c63c64ec3c89e1f4815c326aed7aeEvan Hunt

6045abbc9a0d7d449a13b6fbfbf32d419b6bee96Mark Andrewsclean_genRules:

6045abbc9a0d7d449a13b6fbfbf32d419b6bee96Mark Andrews $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \

f7d148398ca4511551c737e655b15f7d0d59a783Mark Andrews $(hs_clean_files)

f7d148398ca4511551c737e655b15f7d0d59a783Mark Andrews

3a84275b10ab16965e86f6ca97e70c1bdca885a0Mark Andrews

3a84275b10ab16965e86f6ca97e70c1bdca885a0Mark Andrewsclean: bin_clean o_clean clean_pretty

3a84275b10ab16965e86f6ca97e70c1bdca885a0Mark Andrews

398834f7559617bdfd6c10ba555609a2f306e3d4Mark Andrewso_clean:

398834f7559617bdfd6c10ba555609a2f306e3d4Mark Andrews find . -name \*.o -o -name \*.hi | xargs $(RM) -r

398834f7559617bdfd6c10ba555609a2f306e3d4Mark Andrews

28061f80b698171892e81c0856bc722190947998Evan Huntbin_clean:

28061f80b698171892e81c0856bc722190947998Evan Hunt $(RM) hets

28061f80b698171892e81c0856bc722190947998Evan Hunt $(RM) hets.cgi

a785bf2c39c6f223a93c27bbff81591b38095577Mark Andrews $(RM) $(TESTTARGETS)

a785bf2c39c6f223a93c27bbff81591b38095577Mark Andrews

a03f4b1ea4f1a4a70963fbeb606841c217f9e5f3Evan Huntclean_pretty:

a03f4b1ea4f1a4a70963fbeb606841c217f9e5f3Evan Hunt $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \

a03f4b1ea4f1a4a70963fbeb606841c217f9e5f3Evan Hunt pretty/generated_words.tex

a03f4b1ea4f1a4a70963fbeb606841c217f9e5f3Evan Hunt

d315545e6db6792692fe2dcb788ac6717a33b75fEvan Huntreal_clean: clean

d315545e6db6792692fe2dcb788ac6717a33b75fEvan Hunt

00f131293520b70728cd48840e09953fa45a745bMark Andrewspackage_clean:

00f131293520b70728cd48840e09953fa45a745bMark Andrews $(HCPKG) unregister HAIFA --user || exit 0

00f131293520b70728cd48840e09953fa45a745bMark Andrews $(HCPKG) unregister programatica --user || exit 0

b2e71853060a384070d422afda6d1c692ff608e3Mark Andrews $(HCPKG) unregister hxt --user || exit 0

b2e71853060a384070d422afda6d1c692ff608e3Mark Andrews $(HCPKG) unregister Shellac-readline --user || exit 0

b2e71853060a384070d422afda6d1c692ff608e3Mark Andrews $(HCPKG) unregister HTTP --user || exit 0

b2e71853060a384070d422afda6d1c692ff608e3Mark Andrews $(HCPKG) unregister syb-generics --user || exit 0

42c1acfa478aacfbda2d298cf74a137de2df4b87Michał Kępień $(HCPKG) unregister Shellac --user || exit 0

42c1acfa478aacfbda2d298cf74a137de2df4b87Michał Kępień

214b53880b6d77359f60feccb91bd2589059300aEvan Huntdistclean: clean clean_genRules

214b53880b6d77359f60feccb91bd2589059300aEvan Hunt $(RM) $(derived_sources)

214b53880b6d77359f60feccb91bd2589059300aEvan Hunt $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString

dd5375de0a7a515ee4fb2fd217e9577259d38c07Mark Andrews $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)

dd5375de0a7a515ee4fb2fd217e9577259d38c07Mark Andrews $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log

dd5375de0a7a515ee4fb2fd217e9577259d38c07Mark Andrews

3a58e1fefb0a9fd5dab11f271a320c6b90473f76Mukund Sivaramanmaintainer-clean: distclean package_clean

3a58e1fefb0a9fd5dab11f271a320c6b90473f76Mukund Sivaraman $(RM) $(SETUP)

3a58e1fefb0a9fd5dab11f271a320c6b90473f76Mukund Sivaraman $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages

7c67b8c2b076971e6a9f8b0db932201366f13d47Mark Andrews

5aed5dc329a2bf1340e9ff2256c1cf4e3005ea0bMark Andrews

8664a1bd40814ed0b42eacfc5eb354b598dfd6dfTinderbox Userghci: $(derived_sources)

c28e44f3f8bc46c6bf1c15cc06af0c42fcd7e924Evan Hunt $(HC)i $(HC_OPTS)

c28e44f3f8bc46c6bf1c15cc06af0c42fcd7e924Evan Hunt

3440cf9c60cd5d35634e7f274fd3eccbba2173a5Evan HuntfromKif: CASL/fromKif

3440cf9c60cd5d35634e7f274fd3eccbba2173a5Evan Hunt

541ce84ff2f0c54340da8b3e04c5686ed82420e1Mark Andrewsannos: Common/annos

541ce84ff2f0c54340da8b3e04c5686ed82420e1Mark Andrews

032d2134a4c1808696688db9bf6f20253e5d05b5Mark Andrewscapa: CASL/capa

032d2134a4c1808696688db9bf6f20253e5d05b5Mark Andrews

fb9ef31fed818384ef8997f2dc5f27252c6f767eEvan Hunthacapa: HasCASL/hacapa

fb9ef31fed818384ef8997f2dc5f27252c6f767eEvan Hunt

823ccd1f02802966395d58c916e9f988320fd6eeEvan Hunthana: Haskell/hana

823ccd1f02802966395d58c916e9f988320fd6eeEvan Hunt

b6fa637fc8c92f42a21e6f97259598968717af3dEvan Hunth2hf: Haskell/h2hf

b6fa637fc8c92f42a21e6f97259598968717af3dEvan Hunt

b6fa637fc8c92f42a21e6f97259598968717af3dEvan HuntHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \

ace5680c122ef239e64eec1120f13f5a7f087d79Mark Andrews Common/Lib/*.hs Comorphisms/*.hs

ace5680c122ef239e64eec1120f13f5a7f087d79Mark Andrews $(HC) -O --make -o $@ $< $(HC_FLAGS) $(PFE_FLAGS)

ace5680c122ef239e64eec1120f13f5a7f087d79Mark Andrews

59d940391ce90963cd3f4b22201b3fca2ffda22aMark Andrewsh2h: Haskell/h2h

59d940391ce90963cd3f4b22201b3fca2ffda22aMark Andrews

6b432e11497f905a6b6f048df3e8a01ce8abbb1eMark AndrewsshowKP: Comorphisms/test/showKP

6b432e11497f905a6b6f048df3e8a01ce8abbb1eMark Andrews

cb9345c996de9d9c990009f14fc83fbbe9c5e3e6Mark Andrewscheck: $(TESTTARGETS)

cb9345c996de9d9c990009f14fc83fbbe9c5e3e6Mark Andrews for i in $(TESTDIRS); do $(MAKE) -C $$i check; done

c935952ede45595a821cfed7f73b57f3b239ca2bMark Andrews

9604a49da0130534f2f4aaa0cbfa78b5f589196fMark AndrewsDriver/Version.hs: Driver/Version.in version_nr

9604a49da0130534f2f4aaa0cbfa78b5f589196fMark Andrews $(RM) $@

9604a49da0130534f2f4aaa0cbfa78b5f589196fMark Andrews LANG=C $(PERL) utils/build_version.pl version_nr \

da5b569ddb9b8bf84242f3085d18e215ec490fdaMark Andrews < Driver/Version.in > $@

da5b569ddb9b8bf84242f3085d18e215ec490fdaMark Andrews chmod 444 $@

da5b569ddb9b8bf84242f3085d18e215ec490fdaMark Andrews

c83a3061551c86bd661839be935de061f7322f5cEvan HuntDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs

c83a3061551c86bd661839be935de061f7322f5cEvan Hunthets.hs: Driver/Version.hs

c83a3061551c86bd661839be935de061f7322f5cEvan Hunt

ac9072210cea5283e554f1787876b647a08fda96Mark AndrewsATC/DevGraph.hs: Static/DevGraph.hs

ac9072210cea5283e554f1787876b647a08fda96Mark Andrews

ac9072210cea5283e554f1787876b647a08fda96Mark AndrewsCASL_DEPENDENT_BINARIES= hets CASL/capa CASL/fromKif \

512765ba1e3f0b29e2c1ae4b0138838c6422f2bdEvan Hunt Common/annos Common/test_parser Comorphisms/test/showKP \

512765ba1e3f0b29e2c1ae4b0138838c6422f2bdEvan Hunt CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \

27a262bc4d38c7a8230677ac2685ec7a4f509f70Mark Andrews Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa

27a262bc4d38c7a8230677ac2685ec7a4f509f70Mark Andrews$(CASL_DEPENDENT_BINARIES): $(sources) $(derived_sources)

3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman.SUFFIXES:

3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman

3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman%: %.hs packages

3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman $(HC) --make -o $@ $< $(HC_OPTS)

3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman

3b38e4b8344cb3bb28f2b116d2e39f8371ef8e34Mukund Sivaraman%.hs: %.y

0d24df5c0b2f9546f403113df8ac4457223bc92fEvan Hunt $(HAPPY) -o $@.tmp $<

0d24df5c0b2f9546f403113df8ac4457223bc92fEvan Hunt echo "{-# OPTIONS -w #-}" > $@

0d24df5c0b2f9546f403113df8ac4457223bc92fEvan Hunt cat $@.tmp >> $@

7c1c9b4dcd9efa507cdb58d3d83e99ab4836096dMark Andrews $(RM) $@.tmp

7c1c9b4dcd9efa507cdb58d3d83e99ab4836096dMark Andrews

7c1c9b4dcd9efa507cdb58d3d83e99ab4836096dMark Andrews%.hs: %.der.hs $(DRIFT)

9689922a0d936b04feb418fbaf4c1420f745ea58Mark Andrews $(RM) $@

9689922a0d936b04feb418fbaf4c1420f745ea58Mark Andrews ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)

9689922a0d936b04feb418fbaf4c1420f745ea58Mark Andrews chmod 444 $@

02989eceeff85cd6c5dd31848a12674f74bba7cfEvan Hunt

02989eceeff85cd6c5dd31848a12674f74bba7cfEvan Hunt%.hs: %.inline.hs $(INLINEAXIOMS)

34f649fa22a16acb488ccf0f8a41d541c6ba7da1Evan Hunt $(RM) $@

34f649fa22a16acb488ccf0f8a41d541c6ba7da1Evan Hunt $(INLINEAXIOMS) $< > $@

34f649fa22a16acb488ccf0f8a41d541c6ba7da1Evan Hunt chmod 444 $@

34f649fa22a16acb488ccf0f8a41d541c6ba7da1Evan Hunt

8b9c4592ed718c4187971f1104381faf538bf4f7Evan Hunt%.hspp: %.hs

8b9c4592ed718c4187971f1104381faf538bf4f7Evan Hunt $(HC) -E -cpp -D__HADDOCK__ \

8b9c4592ed718c4187971f1104381faf538bf4f7Evan Hunt -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<

264e17e73941059877ccf3c96f26aac15a25500bMukund Sivaraman

264e17e73941059877ccf3c96f26aac15a25500bMukund Sivaraman%.o %.hi: %.hs

264e17e73941059877ccf3c96f26aac15a25500bMukund Sivaraman $(HC) -c $< $(HC_OPTS)

9a8b2b3ab35fbbdf03acba32dade90ad91f75742Mukund Sivaraman

9a8b2b3ab35fbbdf03acba32dade90ad91f75742Mukund Sivaraman%.o %.hi: %.lhs

9a8b2b3ab35fbbdf03acba32dade90ad91f75742Mukund Sivaraman $(HC) -c $< $(HC_OPTS)

eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman

eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman%.d : %.hs

eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

eeb16584fbd3564136cb4c950fc5e1b54690de68Mukund Sivaraman

9540b42695c15fdd5f01b4c663e21936e6c38c82Mukund Sivaraman%.d : %.lhs

9540b42695c15fdd5f01b4c663e21936e6c38c82Mukund Sivaraman $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

9540b42695c15fdd5f01b4c663e21936e6c38c82Mukund Sivaraman

fec9247b8f1ab52e999643ae03f0550387ec359fMukund SivaramanCASL_DL/PredefinedSign.inline.hs: \

fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \

fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman CASL_DL/PredDatatypes.het

fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman $(RM) $@

fec9247b8f1ab52e999643ae03f0550387ec359fMukund Sivaraman utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \

0d7548ee341c83c540624a423e2c701b6e9ddc4eEvan Hunt < CASL_DL/PredefinedSign.inline.hs.in > $@

0d7548ee341c83c540624a423e2c701b6e9ddc4eEvan Hunt echo " )" >> $@

0d7548ee341c83c540624a423e2c701b6e9ddc4eEvan Hunt chmod 444 $@

2883bbaef3b2b712acfb89358f5a9c7ebb62733bEvan Hunt

527163f0e5e8639bcceb7fe52387285042f5b24cEvan HuntCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \

527163f0e5e8639bcceb7fe52387285042f5b24cEvan Hunt CASL_DL/Datatypes.het

62a6147e51fd1ccb9ec1c1b6c97b6e9b9ef1f002Evan Hunt $(RM) $@

62a6147e51fd1ccb9ec1c1b6c97b6e9b9ef1f002Evan Hunt $(PERL) $+ > $@

62a6147e51fd1ccb9ec1c1b6c97b6e9b9ef1f002Evan Hunt chmod 444 $@

4c432aae90bc9b220725ca7df5a6af40cf4c74b3Mark Andrews

3195754154292f0651c195433607696a259a98e2Evan HuntModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \

3195754154292f0651c195433607696a259a98e2Evan Hunt utils/genTransMFormFunc.pl $(INLINEAXIOMS)

911576956388270fe2401fbf9236d8879d2795e9Evan Hunt $(RM) $@

911576956388270fe2401fbf9236d8879d2795e9Evan Hunt $(PERL) utils/genTransMFormFunc.pl $< $@

911576956388270fe2401fbf9236d8879d2795e9Evan Hunt chmod 444 $@

911576956388270fe2401fbf9236d8879d2795e9Evan Hunt

fd0d60b3a0139c040fedb0bb765fd9667831412eMark Andrewsinitialize_installer:

fd0d60b3a0139c040fedb0bb765fd9667831412eMark Andrews @if [ -d $(INSTALLER_DIR) ] ; then \

fd0d60b3a0139c040fedb0bb765fd9667831412eMark Andrews echo "copy file to $(INSTALLER_DIR)" ; \

3001a1b4e6298466882a4147307b4c28a3b08f91Mark Andrews else \

3001a1b4e6298466882a4147307b4c28a3b08f91Mark Andrews echo "create $(INSTALLER_DIR)" ;\

3001a1b4e6298466882a4147307b4c28a3b08f91Mark Andrews mkdir -p $(INSTALLER_DIR) ; \

1bce43adcc11d21afaf645cbe466553aabc725b2Mark Andrews fi

1bce43adcc11d21afaf645cbe466553aabc725b2Mark Andrews @sed "s/^\(HETS_VERSION=\).*/\1`cat version_nr`/" Makefile.installer > Makefile.inst ;\

da4823c08a9a41e7b5ff1f3a83c80007f60fd21cMark Andrews sed "s/^\(SPASS_DIR_MAC=\).*/\1`ls utils/SPASS-ppc-mac/ | grep SPASS`/" Makefile.inst > Makefile.inst2 ;\

da4823c08a9a41e7b5ff1f3a83c80007f60fd21cMark Andrews rm Makefile.inst ;\

da4823c08a9a41e7b5ff1f3a83c80007f60fd21cMark Andrews mv Makefile.inst2 $(INSTALLER_DIR)/Makefile

52cae869e0296713b764f6065bdad80832d4c493Mark Andrews @echo =========================================================================

52cae869e0296713b764f6065bdad80832d4c493Mark Andrews @echo If you have not logged in \'cvs.haskell.org\' and \'cvs-agbkb.informatik.uni-bremen.de\'

52cae869e0296713b764f6065bdad80832d4c493Mark Andrews @echo "then please first login:"

403e7b451207fe6514a5d641562713b1af233b9cEvan Hunt @echo " cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs login"

403e7b451207fe6514a5d641562713b1af233b9cEvan Hunt @echo " the password is cvs"

403e7b451207fe6514a5d641562713b1af233b9cEvan Hunt @echo " cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository login "

62b5dd5b09cb575281f8193476b58a4bd9870fc9Evan Hunt @echo " the password is "

62b5dd5b09cb575281f8193476b58a4bd9870fc9Evan Hunt @echo =========================================================================

7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews @echo Ready to create installers for Hets

7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews @echo Please do

8c31a25f3ff5d6783c7add7c887e52f7031d173dMark Andrews @echo " -> cd $(INSTALLER_DIR)"

8c31a25f3ff5d6783c7add7c887e52f7031d173dMark Andrews @echo " -> make"

8c31a25f3ff5d6783c7add7c887e52f7031d173dMark Andrews @echo and wait until it is finished

8bcd80824c51c802c2927236b012cd526f569b04Mark Andrews

3be4330b77e6de0c6aa7cca74c1ae17fc661ac32Tinderbox User

8bcd80824c51c802c2927236b012cd526f569b04Mark Andrews

7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews

7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews

7fcbbd6fa9ed199cf6947bb6b204da5438211faaMark Andrews

559cbe04e73cf601784a371e09554c20407a6c7bEvan Hunt