Makefile revision d0279930f87bf39843e0bd2992a4789322662144
77b179cbbe7b820b5d838a675200a7b87eb12dacMark Andrews# Makefile
77b179cbbe7b820b5d838a675200a7b87eb12dacMark Andrews# $Id$
77b179cbbe7b820b5d838a675200a7b87eb12dacMark Andrews# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
24f2cc7d06e4bb6625f90323e44b42e0cad63588Mukund Sivaraman# Year: 2004
24f2cc7d06e4bb6625f90323e44b42e0cad63588Mukund Sivaraman
24f2cc7d06e4bb6625f90323e44b42e0cad63588Mukund Sivaraman# This Makefile will compile the new hets system and provides also
73eacba1f107468b30e8aa7cd6e213bb2d7f3142Evan Hunt# targets for test programs during implementation phases.
73eacba1f107468b30e8aa7cd6e213bb2d7f3142Evan Hunt
73eacba1f107468b30e8aa7cd6e213bb2d7f3142Evan Hunt# !!! Note: This makefile is written for GNU make !!!
73eacba1f107468b30e8aa7cd6e213bb2d7f3142Evan Hunt# (gmake on solaris)
da4a7772ebb33f27104bca5ceb9a9bca60136387Evan Hunt
1b05d22789fd9a17aca4f459639bc2b6848c3160Mark Andrewsall: hets
1b05d22789fd9a17aca4f459639bc2b6848c3160Mark Andrews
1b05d22789fd9a17aca4f459639bc2b6848c3160Mark Andrews####################################################################
29d52c001ff976561669375cf0c866b815a90c49Mark Andrews## Some varibles, which control the compilation
29d52c001ff976561669375cf0c866b815a90c49Mark Andrews
7ae96d882326357448f8f440c52f47ac1b1fa455Evan HuntINCLUDE_PATH =
7ae96d882326357448f8f440c52f47ac1b1fa455Evan HuntHAIFA_PATHS = Network Network/Server Org Org/W3 Org/W3/N2001 \
7ae96d882326357448f8f440c52f47ac1b1fa455Evan Hunt Org/Xmlsoap Org/Xmlsoap/Schemas Org/Xmlsoap/Schemas/Soap \
7ae96d882326357448f8f440c52f47ac1b1fa455Evan Hunt Text Text/XML Text/XML/HXT Text/XML/Schema Text/XML/Schema/TypeMapper \
7ae96d882326357448f8f440c52f47ac1b1fa455Evan Hunt Text/XML/Serializer
7ae96d882326357448f8f440c52f47ac1b1fa455Evan Hunt
7ae96d882326357448f8f440c52f47ac1b1fa455Evan HuntSOURCE_PATHS = . utils/itcor \
29d52c001ff976561669375cf0c866b815a90c49Mark Andrews utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
a8da00ef95ba37b9d071c2b8db1a0c967e060106Mark Andrews Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
a8da00ef95ba37b9d071c2b8db1a0c967e060106Mark Andrews Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
48fe77df0c604359c3a406510f4327fc3182e836Evan Hunt CspCASL ATC Proofs Comorphisms Isabelle Driver Modifications \
5f590e93d2ec1372a591b943a375506817787d8aMukund Sivaraman Taxonomy CASL_DL SoftFOL OWL OMDoc PGIP Propositional RelationalScheme \
b5edc023a1bb8066d86777dd40fd4555e285de57Mark Andrews DL VSE
be9720ae2c2e933da36c5fb209dd4798a0337febMark Andrews
be9720ae2c2e933da36c5fb209dd4798a0337febMark Andrews# the 'replacing spaces' example was taken from the (GNU) Make info manual
be9720ae2c2e933da36c5fb209dd4798a0337febMark Andrewsempty =
bb5df338d9b119bb2fe18dea9b0e3034c3925f7bMark Andrewsspace = $(empty) $(empty)
bb5df338d9b119bb2fe18dea9b0e3034c3925f7bMark Andrews
bb5df338d9b119bb2fe18dea9b0e3034c3925f7bMark AndrewsDRIFT_ENV = DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
f5ea8d2838e0d9279d00afe984aa67f07ad758b1Mark Andrews
f5ea8d2838e0d9279d00afe984aa67f07ad758b1Mark Andrews# override on commandline for other architectures
af669cb4fd7ecfb67ed145b176e5e764b249573bMark AndrewsINSTALLDIR = \
af669cb4fd7ecfb67ed145b176e5e764b249573bMark Andrews /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
044008f58f66d7a1b50c1dfc09cf8049e83a8227Evan Hunt
044008f58f66d7a1b50c1dfc09cf8049e83a8227Evan HuntDRIFT_deps = utils/DrIFT-src/*hs
044008f58f66d7a1b50c1dfc09cf8049e83a8227Evan HuntGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
044008f58f66d7a1b50c1dfc09cf8049e83a8227Evan HuntGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
1783676a64b8e390b756d775ae152509f1d76719Mukund SivaramanINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
84f95ddb2572641022619950a211aff49e331c98Mukund Sivaraman Common/Doc.hs CASL/ToDoc.hs Modal/AS_Modal.hs \
84f95ddb2572641022619950a211aff49e331c98Mukund Sivaraman Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
84f95ddb2572641022619950a211aff49e331c98Mukund Sivaraman
1783676a64b8e390b756d775ae152509f1d76719Mukund SivaramanHC = ghc
07dd40e8eeff964d7e8018817378d903ded690e3Mukund SivaramanHCPKG = ghc-pkg
07dd40e8eeff964d7e8018817378d903ded690e3Mukund SivaramanPERL = perl
07dd40e8eeff964d7e8018817378d903ded690e3Mukund SivaramanHAPPY = happy -sga
db93c0def5c3e1e0ea40c7596482ad3fca4ed03bMukund SivaramanGENRULES = utils/genRules
db93c0def5c3e1e0ea40c7596482ad3fca4ed03bMukund SivaramanGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
db93c0def5c3e1e0ea40c7596482ad3fca4ed03bMukund Sivaraman -i Data.Typeable -i Common.ATerm.Lib
db93c0def5c3e1e0ea40c7596482ad3fca4ed03bMukund SivaramanDRIFT = utils/DrIFT
ca6e60cb704c4c8eea1385a9fbef3eaa476eca28Evan HuntINLINEAXIOMS = utils/outlineAxioms
c10fda07d68c04221c2d552dc71a2de1352074cbTinderbox UserHADDOCK = haddock
ca6e60cb704c4c8eea1385a9fbef3eaa476eca28Evan Hunt
c2444e25ab0fe2a6efdba2fc789a1662b95a6eb5Evan HuntOSBYUNAME = $(shell uname)
c10fda07d68c04221c2d552dc71a2de1352074cbTinderbox Userifneq ($(findstring SunOS, $(OSBYUNAME)),)
aeff3f0541beed6c7e384737bc83b46ea5e66a84Evan HuntTAR = gtar
8378b0c190300e1652fc0ce129a4b9af4ef56e24Evan HuntPATCH = gpatch
8378b0c190300e1652fc0ce129a4b9af4ef56e24Evan Huntelse
8378b0c190300e1652fc0ce129a4b9af4ef56e24Evan HuntTAR = tar
53ae008f2749a29773b27a481452b292c8f53b65Evan HuntPATCH = patch
53ae008f2749a29773b27a481452b292c8f53b65Evan Huntendif
bfc11b9c659a9c46c478cd9176220a1a29a862a1Evan Hunt
bfc11b9c659a9c46c478cd9176220a1a29a862a1Evan HuntARCH = $(subst $(space),,$(shell uname -m))
177e523c48674936078c1422403840de159db5dfEvan HuntSETUP = utils/Setup
177e523c48674936078c1422403840de159db5dfEvan HuntSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
177e523c48674936078c1422403840de159db5dfEvan Hunt
177e523c48674936078c1422403840de159db5dfEvan HuntSETUPPACKAGE = ../$(SETUP) clean; \
177e523c48674936078c1422403840de159db5dfEvan Hunt ../$(SETUP) configure $(SETUPPREFIX) --user; \
7acc2f21563b79229d592f09dde17e60d64afc8fEvan Hunt ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install --user
7acc2f21563b79229d592f09dde17e60d64afc8fEvan Hunt
7acc2f21563b79229d592f09dde17e60d64afc8fEvan HuntHAXMLVERSION = $(shell $(HCPKG) field HaXml version)
7acc2f21563b79229d592f09dde17e60d64afc8fEvan Huntifneq ($(findstring 1.13., $(HAXMLVERSION)),)
7acc2f21563b79229d592f09dde17e60d64afc8fEvan HuntHAXML_PACKAGE = -package HaXml -DHAXML_PACKAGE
e58eb371a047c3a8aee4ce9aaca0f7f3673432a4Mukund Sivaramanendif
e58eb371a047c3a8aee4ce9aaca0f7f3673432a4Mukund Sivaraman
e58eb371a047c3a8aee4ce9aaca0f7f3673432a4Mukund Sivaraman# remove -fno-warn-orphans for older ghcs and add -ifgl
e58eb371a047c3a8aee4ce9aaca0f7f3673432a4Mukund SivaramanHC_WARN = -Wall -fno-warn-orphans
e58eb371a047c3a8aee4ce9aaca0f7f3673432a4Mukund SivaramanHC_FLAGS = $(HC_WARN) -fglasgow-exts -fallow-overlapping-instances
2ff2145ff53ec10df0e3c9c51906d63187fd54faMark Andrews# -ddump-minimal-imports
2ff2145ff53ec10df0e3c9c51906d63187fd54faMark Andrews# uncomment to above line to generate .imports files for displayDependencyGraph
c213a58e803c0bba12e3df0f33405eaee907acc6Evan Hunt
c213a58e803c0bba12e3df0f33405eaee907acc6Evan HuntHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
c213a58e803c0bba12e3df0f33405eaee907acc6Evan Hunt
f4102ab13ea049d73f5523c1a94fe2b83c408c9eMark Andrewslogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SoftFOL \
a98f70acc8d36bf73c000808ffed455ad8f15b02Evan Hunt ConstraintCASL Propositional OWL DL RelationalScheme VSE
a98f70acc8d36bf73c000808ffed455ad8f15b02Evan Hunt
8b61aef4dcc53267a500449058c0af705e3a64d1Evan HuntTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
2616cb69443f6ccd1900901c91e04d86886a7197Evan Hunt Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
2616cb69443f6ccd1900901c91e04d86886a7197Evan Hunt ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
e785f9c1c7d838b9a773a757210388130eba5c4aMark Andrews Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs \
e785f9c1c7d838b9a773a757210388130eba5c4aMark Andrews SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
e785f9c1c7d838b9a773a757210388130eba5c4aMark Andrews SoftFOL/tests/soapTest.hs Comorphisms/test/sublogicGraph.hs \
591389c7d44e5ca20c357627dd179772cfefaaccEvan Hunt SoftFOL/dfg.hs
591389c7d44e5ca20c357627dd179772cfefaaccEvan Hunt
591389c7d44e5ca20c357627dd179772cfefaaccEvan HuntUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
591389c7d44e5ca20c357627dd179772cfefaaccEvan Huntifneq ($(strip $(UNI_PACKAGE_CONF)),)
591389c7d44e5ca20c357627dd179772cfefaaccEvan HuntHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
591389c7d44e5ca20c357627dd179772cfefaaccEvan Hunt -package uni-server -DUNI_PACKAGE
591389c7d44e5ca20c357627dd179772cfefaaccEvan Hunt
591389c7d44e5ca20c357627dd179772cfefaaccEvan Hunt# some modules from uni for haddock
591389c7d44e5ca20c357627dd179772cfefaaccEvan Hunt# if uni/server is included also HaXml sources are needed
591389c7d44e5ca20c357627dd179772cfefaaccEvan Huntuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
1059bc2e42e8214f8b73d3b4cd181d8394a94a6aFrancis Dupont ../uni/reactor ../uni/util ../uni/posixutil
1059bc2e42e8214f8b73d3b4cd181d8394a94a6aFrancis Dupont
1059bc2e42e8214f8b73d3b4cd181d8394a94a6aFrancis Dupontuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
1059bc2e42e8214f8b73d3b4cd181d8394a94a6aFrancis Dupont $(wildcard ../uni/htk/haddock/*/*.hs)
801fb8b894c75fc1e3fa0284e096ade6dcdc1110Evan HuntTESTTARGETFILES += OWL/OWL11Parser.hs \
801fb8b894c75fc1e3fa0284e096ade6dcdc1110Evan Hunt Taxonomy/taxonomyTool.hs SoftFOL/tests/CMDL_tests.hs \
801fb8b894c75fc1e3fa0284e096ade6dcdc1110Evan Hunt Static/test/TestDGTrans.hs
801fb8b894c75fc1e3fa0284e096ade6dcdc1110Evan Huntendif
801fb8b894c75fc1e3fa0284e096ade6dcdc1110Evan Hunt
4eefa351cc5549a2cebb45d274f10249e31f6945Mukund Sivaraman### list of directories to run checks in
4eefa351cc5549a2cebb45d274f10249e31f6945Mukund SivaramanTESTDIRS += Common CASL HasCASL test
fe12a8f1077c1556922f1a3be2f592c761917838Mukund Sivaraman
fe12a8f1077c1556922f1a3be2f592c761917838Mukund Sivaramanhs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
b82963f96b452e2acbdf2ebd3d96de0ff0859a68Evan Hunt Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
b82963f96b452e2acbdf2ebd3d96de0ff0859a68Evan Hunt
d8890e779c0a74a8738a746f130a4bed6d6954caEvan HuntPFE_TOOLDIR = $(wildcard ../programatica/tools)
e77ef50a57091eeb70d0a6d021638c92442c8f0aMark Andrewsifneq ($(strip $(PFE_TOOLDIR)),)
e77ef50a57091eeb70d0a6d021638c92442c8f0aMark AndrewsPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
4b36b9c1fff56d836feeaa1dc7eb1d4676d9c8bbMark Andrews base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
4b36b9c1fff56d836feeaa1dc7eb1d4676d9c8bbMark Andrews base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
9175a4ed6325e611d4c95d74f6e447a3f4b50fa0Evan Hunt base/transforms base/transforms/Deriving property \
9175a4ed6325e611d4c95d74f6e447a3f4b50fa0Evan Hunt property/syntax property/AST property/transforms \
9175a4ed6325e611d4c95d74f6e447a3f4b50fa0Evan Hunt property/TI property/defs property/parse2 property/parse2/Parser
9175a4ed6325e611d4c95d74f6e447a3f4b50fa0Evan Hunt
84ee90b52d4fb443c796f4e1481f98d5a95b5614Evan HuntPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
84ee90b52d4fb443c796f4e1481f98d5a95b5614Evan Huntpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
84ee90b52d4fb443c796f4e1481f98d5a95b5614Evan HuntPFE_PATH = $(addprefix -i, $(PFE_PATHS))
875574f1e4e87d8412b682084991954c10c20e35Mark AndrewsPFE_FLAGS = -package programatica -DPROGRAMATICA
875574f1e4e87d8412b682084991954c10c20e35Mark Andrewshappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
875574f1e4e87d8412b682084991954c10c20e35Mark Andrews
626ba6609dd45cd543a05910dd503ff712355c88Evan HuntLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer
626ba6609dd45cd543a05910dd503ff712355c88Evan Hunt
17dc146c7c2399e7bd64e776775535b9484ad1d5Mark Andrewsprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
39f68d7b64dce25e19f7132f6c46b3beabeed492Tinderbox User $(LEX_DIR)/HsLex.hs $(SETUP)
2817aa56ca12139849ba1017ff978833174f6294Evan Hunt @if $(HCPKG) field programatica version; then \
2817aa56ca12139849ba1017ff978833174f6294Evan Hunt echo "of programatica package found"; else \
2817aa56ca12139849ba1017ff978833174f6294Evan Hunt ($(PATCH) -usNlp0 -d $(PFE_TOOLDIR) \
22e3e00ac95ec1ba89200c5d0e05670ed5ad8fefMark Andrews -i `pwd`/Haskell/Programatica.patch || exit 0); \
22e3e00ac95ec1ba89200c5d0e05670ed5ad8fefMark Andrews cp -f utils/programatica.cabal ../programatica/tools; \
22e3e00ac95ec1ba89200c5d0e05670ed5ad8fefMark Andrews cp -f $(SETUP) ../programatica/tools; \
ff62d4458acda2110a3763ec576a4f728450662cEvan Hunt (cd ../programatica/tools; \
ff62d4458acda2110a3763ec576a4f728450662cEvan Hunt ./Setup configure $(SETUPPREFIX); \
ff62d4458acda2110a3763ec576a4f728450662cEvan Hunt ./Setup build; ./Setup install --user) fi
ff62d4458acda2110a3763ec576a4f728450662cEvan Hunt
761d135ed686601f36fe3d0d4aaa6bf41287bb0fEvan Hunt$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
b88b75c2b88618f9c885c61e1ab0bd1cddd4474eEvan Hunt echo "{-# OPTIONS -w #-}" > $@
b88b75c2b88618f9c885c61e1ab0bd1cddd4474eEvan Hunt $< >> $@
b88b75c2b88618f9c885c61e1ab0bd1cddd4474eEvan Hunt
b88b75c2b88618f9c885c61e1ab0bd1cddd4474eEvan Hunt$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
b88b75c2b88618f9c885c61e1ab0bd1cddd4474eEvan Hunt $(LEX_DIR)/HsTokens.hs
761d135ed686601f36fe3d0d4aaa6bf41287bb0fEvan Hunt $(HC) --make -fno-monomorphism-restriction -O \
11463c0ac24692e229ec87f307f5e7df3c0a7e10Evan Hunt -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
11463c0ac24692e229ec87f307f5e7df3c0a7e10Evan Hunt -i$(PFE_TOOLDIR)/base/lib \
cc0a48a38173637f7a833e2da52bcfbcecb960b4Mark Andrews -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
cc0a48a38173637f7a833e2da52bcfbcecb960b4Mark Andrews $@.hs -o $@
cc0a48a38173637f7a833e2da52bcfbcecb960b4Mark Andrews strip $@
cc0a48a38173637f7a833e2da52bcfbcecb960b4Mark Andrews
f8eb4e5bfd1129d7639af5c2c768f53f0895952aMark Andrewslogics += Haskell
f8eb4e5bfd1129d7639af5c2c768f53f0895952aMark Andrewsderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
f8eb4e5bfd1129d7639af5c2c768f53f0895952aMark Andrews $(LEX_DIR)Gen/HsLexerGen
f8eb4e5bfd1129d7639af5c2c768f53f0895952aMark Andrews
b05a50c852608a40d1a06d6124bafb9b500c10c1Mukund Sivaramanutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
b05a50c852608a40d1a06d6124bafb9b500c10c1Mukund Sivaraman $(HC) --make -o $@ $<
b05a50c852608a40d1a06d6124bafb9b500c10c1Mukund Sivaraman
f91c369b4ac84fad07e3106c5c00a15d87250d1eMukund SivaramanAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
f91c369b4ac84fad07e3106c5c00a15d87250d1eMukund Sivaraman Haskell/ProgramaticaPrelude.hs
f91c369b4ac84fad07e3106c5c00a15d87250d1eMukund Sivaraman
f91c369b4ac84fad07e3106c5c00a15d87250d1eMukund Sivaraman## rule for appendHaskellPreludeString
a6f0e9c985220f0e4509777e6528afb64e0ad576Mukund SivaramanHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
a6f0e9c985220f0e4509777e6528afb64e0ad576Mukund Sivaraman $(APPENDPRELUDESTRING)
a6f0e9c985220f0e4509777e6528afb64e0ad576Mukund Sivaraman $(RM) $@
a6f0e9c985220f0e4509777e6528afb64e0ad576Mukund Sivaraman $(APPENDPRELUDESTRING) < $< > $@
a6f0e9c985220f0e4509777e6528afb64e0ad576Mukund Sivaraman chmod 444 $@
f4dda9cf28f8be880097ee931b3237e09731a28aMark Andrews
f4dda9cf28f8be880097ee931b3237e09731a28aMark AndrewsAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
f4dda9cf28f8be880097ee931b3237e09731a28aMark Andrews HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
79521569952d5e2475f05e4397dc976f4685056eMark Andrews HsModule HsName HsLiteral HsIdent
79521569952d5e2475f05e4397dc976f4685056eMark Andrews
79521569952d5e2475f05e4397dc976f4685056eMark Andrews#files in base/TI/
79521569952d5e2475f05e4397dc976f4685056eMark Andrews#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
d1f1f13c7fc1f1515930053508f1645cfafaa478Mark Andrews
d1f1f13c7fc1f1515930053508f1645cfafaa478Mark Andrews#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
d1f1f13c7fc1f1515930053508f1645cfafaa478Mark Andrews
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan HuntOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan Hunt base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan Hunt base/parse2/SourceNames base/syntax/SyntaxRec \
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan Hunt property/syntax/PropSyntaxStruct
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan Hunt
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan HuntHaskell_files = $(addsuffix .hs, \
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan Hunt $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan Hunt $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
74eb2f5cbc98d9646bcd13ffcb17688f0db5ab8dEvan Hunt
b0c18fffd3c81d3cb617dbba4d222d49ae266f28Mark Andrews## rule for ATC generation
b0c18fffd3c81d3cb617dbba4d222d49ae266f28Mark AndrewsHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
b0c18fffd3c81d3cb617dbba4d222d49ae266f28Mark Andrews $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
b0c18fffd3c81d3cb617dbba4d222d49ae266f28Mark Andrews
511ec77fca2e2df66b36f4756fd2459cfe7998d9Mark Andrewshs_der_files += $(hs_clean_files)
511ec77fca2e2df66b36f4756fd2459cfe7998d9Mark Andrews
44032d3918d4aeb2f0cff3bb90e4a44569016559Mark AndrewsTESTDIRS += ToHaskell
44032d3918d4aeb2f0cff3bb90e4a44569016559Mark AndrewsTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
d8f2dd46cba3a16c2433e85657a5b15543013ca6Mark Andrewsendif
d8f2dd46cba3a16c2433e85657a5b15543013ca6Mark Andrews
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark AndrewsTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews### Profiling (only for debugging)
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews### Attention every module must be compiled with profiling or the linker
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews### cannot link the various .o files properly. So after switching on
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews### Profiling, do an 'gmake real_clean; gmake'
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews### Comment in the following line for switching on profiling.
3bdcd91c456adec12ee9f69cfe6b0f79174f78c4Evan Hunt# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark AndrewsHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PROF) $(HAXML_PACKAGE) $(HC_PACKAGE) \
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews $(PFE_FLAGS) -DCASLEXTENSIONS -threaded
2ce24e13faacaf73286298f0068a7e7f0d03fdacMark Andrews
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews####################################################################
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews## sources for hets
1e0ed0c6f5c359df88767e2c4f0fda24f2da0468Mark Andrews
47d837a49967a6a1b290024f5efb0669276013b1Mukund Sivaramannon_sources = Common/LaTeX_maps.svmono.hs Common/CaslLanguage.hs ./Test.hs \
47d837a49967a6a1b290024f5efb0669276013b1Mukund Sivaraman $(SETUP).hs
47d837a49967a6a1b290024f5efb0669276013b1Mukund Sivaraman
47d837a49967a6a1b290024f5efb0669276013b1Mukund Sivaramansources = hets.hs $(filter-out $(non_sources), \
47d837a49967a6a1b290024f5efb0669276013b1Mukund Sivaraman $(wildcard $(addsuffix /[A-Z]*hs, $(SOURCE_PATHS))))
2317d1f835217db65808826b72a47920963c59fdTinderbox User
be7fba80190c33b0e50f086509b42bb319bb95b4Evan Huntobjects = $(sources:%.hs=%.o)
be7fba80190c33b0e50f086509b42bb319bb95b4Evan Hunt
be7fba80190c33b0e50f086509b42bb319bb95b4Evan Huntdrifted_files = Common/AS_Annotation.hs \
03fd9cb81c2a92cf54baab5103db10e8ef9d524aMark Andrews CASL/AS_Basic_CASL.hs Modal/AS_Modal.hs \
03fd9cb81c2a92cf54baab5103db10e8ef9d524aMark Andrews Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
03fd9cb81c2a92cf54baab5103db10e8ef9d524aMark Andrews Propositional/AS_BASIC_Propositional.hs \
03fd9cb81c2a92cf54baab5103db10e8ef9d524aMark Andrews CoCASL/AS_CoCASL.hs COL/AS_COL.hs \
017aa9aef63aaef6a370c180f6290b8388deda01Mark Andrews CASL_DL/AS_CASL_DL.hs OWL/ReadWrite.hs \
dc5e29a7d216b4233c80bec8967015aa9c05962eTinderbox User CspCASL/AS_CspCASL_Process.hs CspCASL/AS_CspCASL.hs \
017aa9aef63aaef6a370c180f6290b8388deda01Mark Andrews DL/AS.hs RelationalScheme/AS.hs \
017aa9aef63aaef6a370c180f6290b8388deda01Mark Andrews $(gendrifted_files)
017aa9aef63aaef6a370c180f6290b8388deda01Mark Andrews
017aa9aef63aaef6a370c180f6290b8388deda01Mark Andrewsatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
09290020bc9b3cd787f1a19e400413a6ca6827e3Evan Hunt Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
2ce24e13faacaf73286298f0068a7e7f0d03fdacMark Andrews Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
693d70f96fc2b3c1830580edcc29146afd6a9f61Mark Andrews Logic/Prover.hs Common/ExtSign.hs Static/DevGraph.hs
c5e9423340dff77b2d3b79fcd4908708770a49c3Mukund Sivaraman
c5e9423340dff77b2d3b79fcd4908708770a49c3Mukund Sivaramanatc_der_files = $(foreach file, $(atc_files), \
c5e9423340dff77b2d3b79fcd4908708770a49c3Mukund Sivaraman ATC/$(basename $(basename $(notdir $(file)))).der.hs)
ea3aa401bc74d34560af190a4009d436054d1bfaMark Andrews
ea3aa401bc74d34560af190a4009d436054d1bfaMark AndrewsATC/Id.der.hs: Common/Id.hs $(GENRULES)
ea3aa401bc74d34560af190a4009d436054d1bfaMark Andrews $(GENRULECALL) -o $@ $<
ea3aa401bc74d34560af190a4009d436054d1bfaMark Andrews
ea3aa401bc74d34560af190a4009d436054d1bfaMark AndrewsATC/Result.der.hs: Common/Result.hs $(GENRULES)
6444de08d1aacf7396663b7a82d62eedf534c3d7Mark Andrews $(GENRULECALL) -o $@ $<
6444de08d1aacf7396663b7a82d62eedf534c3d7Mark Andrews
6444de08d1aacf7396663b7a82d62eedf534c3d7Mark AndrewsATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
5c5c6d289db78e41f714007426a387498e15963cFrancis Dupont $(GENRULECALL) -o $@ $<
5c5c6d289db78e41f714007426a387498e15963cFrancis Dupont
5c5c6d289db78e41f714007426a387498e15963cFrancis DupontATC/ExtSign.der.hs: Common/ExtSign.hs $(GENRULES)
5c5c6d289db78e41f714007426a387498e15963cFrancis Dupont $(GENRULECALL) -o $@ $<
5c5c6d289db78e41f714007426a387498e15963cFrancis Dupont
5c5c6d289db78e41f714007426a387498e15963cFrancis DupontATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
5c5c6d289db78e41f714007426a387498e15963cFrancis Dupont $(GENRULECALL) -o $@ $<
fc63119c8b7aa8827fad9e3e45e50c69bc2630e8Francis Dupont
fc63119c8b7aa8827fad9e3e45e50c69bc2630e8Francis DupontATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
fc63119c8b7aa8827fad9e3e45e50c69bc2630e8Francis Dupont $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
fc63119c8b7aa8827fad9e3e45e50c69bc2630e8Francis Dupont
d040fa2f1c9c3045420ee25933b699290ab19250Mark AndrewsATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
d040fa2f1c9c3045420ee25933b699290ab19250Mark Andrews $(GENRULECALL) -i ATC.AS_Structured -o $@ $<
0155ecba77787bc625ef926cdc856829fc22133cTinderbox User
5c5c6d289db78e41f714007426a387498e15963cFrancis DupontATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
5c5c6d289db78e41f714007426a387498e15963cFrancis Dupont $(GENRULECALL) -i ATC.AS_Architecture -o $@ $<
092d3b76db6b93b8029bd7d083e74fc80fb41858Mark Andrews
92384667ff3bc059237849b3afd4c715c9164435Evan HuntATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
92384667ff3bc059237849b3afd4c715c9164435Evan Hunt $(GENRULECALL) -i ATC.AS_Annotation -o $@ $<
13fe015cbfab3019ded0def054a1b09159bb3101Evan Hunt
13fe015cbfab3019ded0def054a1b09159bb3101Evan HuntATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
64d715c22acbed195703bb9b96aac2b938a83de2Mark Andrews $(GENRULECALL) -x Logic.Prover.ProverTemplate \
64d715c22acbed195703bb9b96aac2b938a83de2Mark Andrews -i ATC.AS_Annotation -o $@ $<
3230429e175dcaafe9c59967124d44c02ca0ccadEvan Hunt
3230429e175dcaafe9c59967124d44c02ca0ccadEvan HuntATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
3230429e175dcaafe9c59967124d44c02ca0ccadEvan Hunt $(GENRULECALL) -i ATC.AS_Library -i ATC.Grothendieck -o $@ $<
3230429e175dcaafe9c59967124d44c02ca0ccadEvan Hunt
3230429e175dcaafe9c59967124d44c02ca0ccadEvan HuntCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
3230429e175dcaafe9c59967124d44c02ca0ccadEvan Hunt CASL/AS_Basic_CASL.der.hs
3230429e175dcaafe9c59967124d44c02ca0ccadEvan Hunt
3230429e175dcaafe9c59967124d44c02ca0ccadEvan HuntHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
3230429e175dcaafe9c59967124d44c02ca0ccadEvan HuntIsabelle_files = Isabelle/IsaSign.hs
c4f54e5bd1cd09f601252627b5b26768ab797742Evan Hunt
4ccffa13aa1f87d8d3dbdf7a74cf29b1c323ad52Tinderbox UserPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
3230429e175dcaafe9c59967124d44c02ca0ccadEvan Hunt Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
e32d354f754a5d7847a0862bcd6302827ea225bfEvan Hunt Propositional/Sublogic.hs
e32d354f754a5d7847a0862bcd6302827ea225bfEvan Hunt
e32d354f754a5d7847a0862bcd6302827ea225bfEvan HuntDL_files = DL/AS.hs DL/Sign.hs
e32d354f754a5d7847a0862bcd6302827ea225bfEvan Hunt
aee6c351d3b517f3e6a4ddf770606617fd42015bTinderbox UserRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
e32d354f754a5d7847a0862bcd6302827ea225bfEvan Hunt
e32d354f754a5d7847a0862bcd6302827ea225bfEvan HuntModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
c4abb197160a74f7cd4ad23ebc63fbe0194010abEvan HuntConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
c4abb197160a74f7cd4ad23ebc63fbe0194010abEvan HuntCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
c4abb197160a74f7cd4ad23ebc63fbe0194010abEvan HuntCOL_files = COL/AS_COL.hs COL/COLSign.hs
c4abb197160a74f7cd4ad23ebc63fbe0194010abEvan Hunt
a0b4f6d952cc6adde281948cf995868b44f366e8Evan HuntCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
a0b4f6d952cc6adde281948cf995868b44f366e8Evan Hunt CspCASL/SignCSP.hs
a0b4f6d952cc6adde281948cf995868b44f366e8Evan Hunt
a0b4f6d952cc6adde281948cf995868b44f366e8Evan HuntCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs
90fc237a1fdf1680ef254f16b497f90ac759f71bEvan HuntSoftFOL_files = SoftFOL/Sign.hs
0c3f2ff9738efe01c4e9cf62592516f27774b9d4Evan HuntOWL_files = OWL/Sign.hs
a0b4f6d952cc6adde281948cf995868b44f366e8Evan HuntVSE_files = VSE/As.hs
90fc237a1fdf1680ef254f16b497f90ac759f71bEvan Hunt
90fc237a1fdf1680ef254f16b497f90ac759f71bEvan Huntatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
0c3f2ff9738efe01c4e9cf62592516f27774b9d4Evan Hunt
a0b4f6d952cc6adde281948cf995868b44f366e8Evan Huntgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
a0b4f6d952cc6adde281948cf995868b44f366e8Evan Hunt
90fc237a1fdf1680ef254f16b497f90ac759f71bEvan Huntgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
90fc237a1fdf1680ef254f16b497f90ac759f71bEvan Hunt
0c3f2ff9738efe01c4e9cf62592516f27774b9d4Evan Huntinline_axiom_files = Comorphisms/CASL2PCFOL.hs \
3cc8c7d63040a3eafde2b00e1f60465e7053208aEvan Hunt Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
3cc8c7d63040a3eafde2b00e1f60465e7053208aEvan Hunt Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs
3cc8c7d63040a3eafde2b00e1f60465e7053208aEvan Hunt
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Huntgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Hunt
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Huntderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Hunt $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files)
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Hunt
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Hunt# sources that have {-# OPTIONS -cpp #-}
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Huntcpp_sources = \
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Hunt CASL/Logic_CASL.hs Isabelle/CreateTheories.hs \
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Hunt SoftFOL/Logic_SoftFOL.hs GUI/Utils.hs Driver/WriteFn.hs \
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Hunt Propositional/Logic_Propositional.hs \
ce96d4326c872c8165b5e3a81ac5b49950c782c6Evan Hunt Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \
b976c39c07f7672bd1293e878b3306c7decf8afeMark Andrews Comorphisms/KnownProvers.hs hets.hs $(happy_files) \
c3f6fd0e1983fc19e5fa735f52d2af8df74a69c3Evan Hunt PGIP/InfoCommands.hs OWL/Logic_OWL11.hs
b976c39c07f7672bd1293e878b3306c7decf8afeMark Andrews
1feee79e1f8b946af9ebcc9dc31514aafb872438Mark Andrews# unused, remove when header files are gone
1feee79e1f8b946af9ebcc9dc31514aafb872438Mark Andrewsgenrule_header_files = $(wildcard ATC/*.header.hs)
c2f8108123c40f9be5c7d8255300e578ca8a47a6Mark Andrews
c2f8108123c40f9be5c7d8255300e578ca8a47a6Mark Andrewsnondoc_sources = $(wildcard utils/DrIFT-src/*.hs) \
c2f8108123c40f9be5c7d8255300e578ca8a47a6Mark Andrews $(wildcard utils/DrIFT-src/*.lhs) \
4e59131f1838d31eac9b355da467516ecd291752Mark Andrews $(wildcard utils/GenerateRules/*.hs) \
4e59131f1838d31eac9b355da467516ecd291752Mark Andrews $(wildcard utils/InlineAxioms/*.hs) \
4e59131f1838d31eac9b355da467516ecd291752Mark Andrews $(wildcard utils/itcor/*.hs) \
f0a54842b1a50dac0b020958eb6025ed676f9a34Mark Andrews $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
f0a54842b1a50dac0b020958eb6025ed676f9a34Mark Andrews $(genrule_header_files) $(generated_rule_files) \
f0a54842b1a50dac0b020958eb6025ed676f9a34Mark Andrews $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
0f5144163c44a67d9be986383769852a0dae502aMark Andrews Modal/GeneratePatterns.inline.hs \
0f5144163c44a67d9be986383769852a0dae502aMark Andrews Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
0f5144163c44a67d9be986383769852a0dae502aMark Andrews SoftFOL/MathServCommunication.hs \
f274cbeaed0e4c5fdbde9f5c30833d7f1da37cd3Mark Andrews $(patsubst %.hs, %.der.hs, $(drifted_files))
f274cbeaed0e4c5fdbde9f5c30833d7f1da37cd3Mark Andrews
f274cbeaed0e4c5fdbde9f5c30833d7f1da37cd3Mark Andrewshspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
00fb0253c9df8a4686115745ae91d501f62c7451Mark Andrews
00fb0253c9df8a4686115745ae91d501f62c7451Mark Andrews# this variable holds the modules that should be documented
00fb0253c9df8a4686115745ae91d501f62c7451Mark Andrewsdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
a5c7cfbac4e401c41741c123347739ab87c80a52Mark Andrews
a5c7cfbac4e401c41741c123347739ab87c80a52Mark Andrewstax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
a5c7cfbac4e401c41741c123347739ab87c80a52Mark Andrews Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
2ce24e13faacaf73286298f0068a7e7f0d03fdacMark Andrews
eb5243365c8d5b2dd172f9cbd7c29166716caa3fMark Andrewstax_objects = $(patsubst %.hs, %.o, $(tax_sources))
d84a4d216d513bec15e83ec6c6e7863a24ff548bMark Andrews
c6e22bbaefce98c37c1def3f971d214a9a147ad5Evan Hunt####################################################################
c6e22bbaefce98c37c1def3f971d214a9a147ad5Evan Hunt### targets
e82c572164eeaaa045a26196fe6096cbef3c10c8Mark Andrews
d84a4d216d513bec15e83ec6c6e7863a24ff548bMark Andrews.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
d84a4d216d513bec15e83ec6c6e7863a24ff548bMark Andrews real_clean bin_clean package_clean distclean packages \
d84a4d216d513bec15e83ec6c6e7863a24ff548bMark Andrews http_pkg syb_pkg shellac_pkg shread_pkg shcompat_pkg \
6932de75eff5f92475027d294264c80478c3c070Tinderbox User hxt_pkg haifa_pkg programatica_pkg maintainer-clean annos \
dd66b77417aff9a7805f52b1e37ac48e647e0102Evan Hunt check capa hacapa h2h h2hf showKP clean_genRules genRules \
dd66b77417aff9a7805f52b1e37ac48e647e0102Evan Hunt count doc apache_doc post_doc4apache fromKif \
40b28f54029a5399fc17d895dd9e8bbcd97d6b70Mark Andrews derivedSources install_hets install release cgi ghci
40b28f54029a5399fc17d895dd9e8bbcd97d6b70Mark Andrews
40b28f54029a5399fc17d895dd9e8bbcd97d6b70Mark Andrews.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
7fbfa379e25b675ec46ae30925b4b2923a07c893Francis Dupont
7fbfa379e25b675ec46ae30925b4b2923a07c893Francis Dupont$(SETUP): utils/Setup.hs
7fbfa379e25b675ec46ae30925b4b2923a07c893Francis Dupont $(HC) --make -O -o $@ $<
498b0610312364afc5698b2e4caaa4dcc836133aEvan Hunt
498b0610312364afc5698b2e4caaa4dcc836133aEvan Huntpackages: base64_pkg http_pkg syb_pkg shellac_pkg shread_pkg shcompat_pkg \
498b0610312364afc5698b2e4caaa4dcc836133aEvan Hunt tagsoup_pkg hxt_pkg hxtfilter_pkg haifa_pkg programatica_pkg
7caeff39c28e82ec720c75d86528bb903dae77d4Jeremy C. Reed
498b0610312364afc5698b2e4caaa4dcc836133aEvan Huntbase64_pkg: utils/dataenc-0.11.tar.gz $(SETUP)
90e0af6bc6c1bcafad126e1779fc478c0aeaeb8fEvan Hunt @if $(HCPKG) field dataenc version; then \
90e0af6bc6c1bcafad126e1779fc478c0aeaeb8fEvan Hunt echo "of dataenc package found"; else \
90e0af6bc6c1bcafad126e1779fc478c0aeaeb8fEvan Hunt $(RM) -r dataenc-0.11; \
72775a79fedd13e19a567432ace70d7ead28e433Mark Andrews $(TAR) zxf utils/dataenc-0.11.tar.gz; \
72775a79fedd13e19a567432ace70d7ead28e433Mark Andrews (cd dataenc-0.11; $(SETUPPACKAGE)) fi
72775a79fedd13e19a567432ace70d7ead28e433Mark Andrews
871f3c8beeb2134b17414ec167b90a57adb8e122Mark Andrewshttp_pkg: utils/HTTP-3001.0.4.tar.gz $(SETUP)
871f3c8beeb2134b17414ec167b90a57adb8e122Mark Andrews @if $(HCPKG) field HTTP version; then \
871f3c8beeb2134b17414ec167b90a57adb8e122Mark Andrews echo "of HTTP package found"; else \
6a6821668d0ff38c34303d63f727fcd11cc36863Evan Hunt $(RM) -r HTTP-3001.0.4; \
48f97c23b7d59c925fc3f4280972e50b8ef67c35Mark Andrews $(TAR) zxf utils/HTTP-3001.0.4.tar.gz; \
48f97c23b7d59c925fc3f4280972e50b8ef67c35Mark Andrews (cd HTTP-3001.0.4; $(SETUPPACKAGE)) fi
188690149b54145e1936898e565eb9eec139bbfeEvan Hunt
188690149b54145e1936898e565eb9eec139bbfeEvan Huntsyb_pkg: $(SETUP)
188690149b54145e1936898e565eb9eec139bbfeEvan Hunt @if $(HCPKG) field syb-generics version; then \
27174d90ccf7d15539b9384744dbbe7beae1723cEvan Hunt echo "of syb-generics package found"; else \
27174d90ccf7d15539b9384744dbbe7beae1723cEvan Hunt (cd syb-generics; $(SETUPPACKAGE)) fi
27174d90ccf7d15539b9384744dbbe7beae1723cEvan Hunt
eb6d61d5e02946e1a7a959bac37eae9dbbc2051bEvan Huntshellac_pkg: utils/shellac.tgz $(SETUP)
eb6d61d5e02946e1a7a959bac37eae9dbbc2051bEvan Hunt @if $(HCPKG) field Shellac version; then \
eb6d61d5e02946e1a7a959bac37eae9dbbc2051bEvan Hunt echo "of Shellac package found"; else \
eb6d61d5e02946e1a7a959bac37eae9dbbc2051bEvan Hunt $(RM) -r shellac; \
eb6d61d5e02946e1a7a959bac37eae9dbbc2051bEvan Hunt $(TAR) zxf utils/shellac.tgz; \
79921aeec24a15883cf3c22a15c77837e69a46beMark Andrews (cd shellac; $(SETUPPACKAGE)) fi
79921aeec24a15883cf3c22a15c77837e69a46beMark Andrews
79921aeec24a15883cf3c22a15c77837e69a46beMark Andrewsshread_pkg: utils/shread.tgz $(SETUP) shellac_pkg
188690149b54145e1936898e565eb9eec139bbfeEvan Hunt @if $(HCPKG) field Shellac-readline version; then \
58a1051e92d46638306e2c17806307c04065c2b3Mark Andrews echo "of Shellac-readline package found"; else \
58a1051e92d46638306e2c17806307c04065c2b3Mark Andrews $(RM) -r shread; \
8197ef7cb5619160600bf1c6e5e8374a6c10838fEvan Hunt $(TAR) zxf utils/shread.tgz; \
8197ef7cb5619160600bf1c6e5e8374a6c10838fEvan Hunt (cd shread; $(SETUPPACKAGE)) fi
8197ef7cb5619160600bf1c6e5e8374a6c10838fEvan Hunt
8197ef7cb5619160600bf1c6e5e8374a6c10838fEvan Huntshcompat_pkg: utils/shcompat.tgz $(SETUP) shread_pkg
1831311ac6179951c8fcca75aa29dc2f5c0218b9Francis Dupont @if $(HCPKG) field Shellac-compatline version; then \
c12c746e3abad9e4100c6694118adc1df398f0bcMark Andrews echo "of Shellac-compatline package found"; else \
c12c746e3abad9e4100c6694118adc1df398f0bcMark Andrews $(RM) -r shcompat; \
7caeff39c28e82ec720c75d86528bb903dae77d4Jeremy C. Reed $(TAR) zxf utils/shcompat.tgz; \
c81d56c03effca6303a4ba07c74163a2031b36e9Mark Andrews (cd shcompat; $(SETUPPACKAGE)) fi
c81d56c03effca6303a4ba07c74163a2031b36e9Mark Andrews
48f97c23b7d59c925fc3f4280972e50b8ef67c35Mark Andrewstagsoup_pkg: utils/tagsoup-0.6.tar.gz $(SETUP)
5d722dead43a8c087afde46f958b1d3351a2125bTinderbox User @if $(HCPKG) field tagsoup version; then \
1c182f1516d3d14de6df81f4103ebfe538a519f6Evan Hunt echo "of tagsoup package found"; else \
12002ea49e5a5a6f7b9c22280dd2cb1f3f44abcfEvan Hunt $(RM) -r tagsoup-0.6; \
12002ea49e5a5a6f7b9c22280dd2cb1f3f44abcfEvan Hunt $(TAR) zxf utils/tagsoup-0.6.tar.gz; \
6979ebf549b9c0ccd115bbf8c0d905600086f292Mark Andrews (cd tagsoup-0.6; $(SETUPPACKAGE)) fi
6979ebf549b9c0ccd115bbf8c0d905600086f292Mark Andrews
6979ebf549b9c0ccd115bbf8c0d905600086f292Mark Andrewshxt_pkg: utils/hxt-8.0.0.tar.gz $(SETUP) http_pkg tagsoup_pkg
b24061719ced97ecdbc7cfcf925c217d0dd80834Mark Andrews @if $(HCPKG) field hxt version; then \
b24061719ced97ecdbc7cfcf925c217d0dd80834Mark Andrews echo "of hxt package found"; else \
b24061719ced97ecdbc7cfcf925c217d0dd80834Mark Andrews $(RM) -r hxt-8.0.0; \
9c0589bc8b1401e02c9b557737cb756e86b094ffMark Andrews $(TAR) zxf utils/hxt-8.0.0.tar.gz; \
9c0589bc8b1401e02c9b557737cb756e86b094ffMark Andrews (cd hxt-8.0.0; $(SETUPPACKAGE)) fi
9c0589bc8b1401e02c9b557737cb756e86b094ffMark Andrews
dda69168ead4bb44f5a23949a04ee2069b7d4ef0Mark Andrewshxtfilter_pkg: utils/hxt-filter-8.0.0.tar.gz $(SETUP) hxt_pkg
dda69168ead4bb44f5a23949a04ee2069b7d4ef0Mark Andrews @if $(HCPKG) field hxt-filter version; then \
dda69168ead4bb44f5a23949a04ee2069b7d4ef0Mark Andrews echo "of hxt-filter package found"; else \
ed1c845c1d3a6b9c2c38e9f7ab177d4ce0309639Mark Andrews $(RM) -r hxt-filter-8.0.0; \
ed1c845c1d3a6b9c2c38e9f7ab177d4ce0309639Mark Andrews $(TAR) zxf utils/hxt-filter-8.0.0.tar.gz; \
ed1c845c1d3a6b9c2c38e9f7ab177d4ce0309639Mark Andrews (cd hxt-filter-8.0.0; $(SETUPPACKAGE)) fi
7b04216015f6984fa43fc96f1c741ec287f84917Evan Hunt
7b04216015f6984fa43fc96f1c741ec287f84917Evan Hunthaifa_pkg: $(SETUP) base64_pkg hxtfilter_pkg syb_pkg
7b04216015f6984fa43fc96f1c741ec287f84917Evan Hunt @if $(HCPKG) field HAIFA version; then \
7d891eaf911e5cab1f704615f8f1ef87c8716f46Mark Andrews echo "of HAIFA package found"; else \
7d891eaf911e5cab1f704615f8f1ef87c8716f46Mark Andrews (cd haifa-lite; $(SETUPPACKAGE)) fi
7d891eaf911e5cab1f704615f8f1ef87c8716f46Mark Andrews
ffeaac1d826b541af39d7b20b9b68ff19ff01832Mark Andrewsprogramatica_pkg:
ffeaac1d826b541af39d7b20b9b68ff19ff01832Mark Andrews
ffeaac1d826b541af39d7b20b9b68ff19ff01832Mark Andrewshets-opt:
c83b91fb6345464807161cc36c5d9046a15d5866Mark Andrews $(MAKE) distclean
c83b91fb6345464807161cc36c5d9046a15d5866Mark Andrews $(MAKE) derivedSources
fa827173df3418bc56774aa528f7ca30fd0ee17cMark Andrews $(MAKE) clean
fa827173df3418bc56774aa528f7ca30fd0ee17cMark Andrews $(MAKE) hets-optimized
fa827173df3418bc56774aa528f7ca30fd0ee17cMark Andrews
1c5990c2f98abf0c2adf7f54a531d8a4a3965414Mark Andrewshets-optimized: $(derived_sources)
1c5990c2f98abf0c2adf7f54a531d8a4a3965414Mark Andrews $(HC) --make -O -o hets hets.hs $(HC_OPTS)
1c5990c2f98abf0c2adf7f54a531d8a4a3965414Mark Andrews strip hets
80169c379dd4e0a6e164b7cac4bf5fa013c91138Mark Andrews
80169c379dd4e0a6e164b7cac4bf5fa013c91138Mark Andrewshets-old: $(objects)
80169c379dd4e0a6e164b7cac4bf5fa013c91138Mark Andrews $(RM) $@
10c12aa5493f34920585164c5fb54a7ac9109fbdMark Andrews $(HC) -o hets $(HC_OPTS) $(objects)
10c12aa5493f34920585164c5fb54a7ac9109fbdMark Andrews
10c12aa5493f34920585164c5fb54a7ac9109fbdMark Andrewscgi:
10c12aa5493f34920585164c5fb54a7ac9109fbdMark Andrews $(MAKE) distclean
10c12aa5493f34920585164c5fb54a7ac9109fbdMark Andrews $(MAKE) derivedSources
10c12aa5493f34920585164c5fb54a7ac9109fbdMark Andrews $(MAKE) real_clean
10c12aa5493f34920585164c5fb54a7ac9109fbdMark Andrews $(MAKE) hets.cgi
6b6d6509f6d80afae74eeb9f2e5baba696e29f32Mark Andrews
6b6d6509f6d80afae74eeb9f2e5baba696e29f32Mark Andrewshets.cgi: $(sources) GUI/hets_cgi.hs
9a36fb86f5019f25705d25ea729d03fcf8ecaa95Mark Andrews ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O
9a36fb86f5019f25705d25ea729d03fcf8ecaa95Mark Andrews strip hets.cgi
a266ab205bfd1c510022e2cd2a8cb62988242593Mark Andrews
a266ab205bfd1c510022e2cd2a8cb62988242593Mark Andrewshets_maintainers.txt: $(sources)
a266ab205bfd1c510022e2cd2a8cb62988242593Mark Andrews @echo 'File : Maintainer' > $@
3867312e4cc5c53d20f4020cc5b2459154406135Mark Andrews @echo -n Generating $@ " "
3867312e4cc5c53d20f4020cc5b2459154406135Mark Andrews @egrep -m 1 "Maintainer" $(sources) | \
3867312e4cc5c53d20f4020cc5b2459154406135Mark Andrews sed -e 's/: *Maintainer *: */ : /' >> $@
8dba0e7d87d192deef8b2aac197e4f508043a30cEvan Hunt @echo " done"
8dba0e7d87d192deef8b2aac197e4f508043a30cEvan Hunt
8dba0e7d87d192deef8b2aac197e4f508043a30cEvan Hunt###############################
947cf282a721b089c1106780f13ae8e6298bddb1Mark Andrews### count lines of code
947cf282a721b089c1106780f13ae8e6298bddb1Mark Andrewscount: $(sources)
947cf282a721b089c1106780f13ae8e6298bddb1Mark Andrews wc -l $(sources)
947cf282a721b089c1106780f13ae8e6298bddb1Mark Andrews###############################
947cf282a721b089c1106780f13ae8e6298bddb1Mark Andrews### Documentation via haddock
947cf282a721b089c1106780f13ae8e6298bddb1Mark Andrewsdoc: docs/index.html
947cf282a721b089c1106780f13ae8e6298bddb1Mark Andrews
52131a835133a76cb62d4a7d8bcf5fe7bf858858Mark Andrews# generate haddock documentation with links to sources
52131a835133a76cb62d4a7d8bcf5fe7bf858858Mark Andrews# the interface treatment is stolen from uni/mk/suffix.mk
52131a835133a76cb62d4a7d8bcf5fe7bf858858Mark Andrewsdocs/index.html: $(doc_sources)
f687e639f00a31e0884fb2c95a627b10b50c364bEvan Hunt $(RM) -r docs
f687e639f00a31e0884fb2c95a627b10b50c364bEvan Hunt mkdir docs
f687e639f00a31e0884fb2c95a627b10b50c364bEvan Hunt cp -r -L ../uni/www docs/www || mkdir docs/www
523f3d630243211ddfda852f5224f7eff681d3a5Evan Hunt HINTERFACES0=`find -L docs/www -name '*.haddock' \
523f3d630243211ddfda852f5224f7eff681d3a5Evan Hunt -printf "--read-interface=www/%P,%p "` ; \
523f3d630243211ddfda852f5224f7eff681d3a5Evan Hunt HINTERFACES=`echo $$HINTERFACES0 | \
2fa1fc53324c0fca978c902e883c7cc011210536Mark Andrews $(PERL) -pe 's+/[^/]*.haddock,+,+g'` ; \
2fa1fc53324c0fca978c902e883c7cc011210536Mark Andrews $(HADDOCK) -o docs -h -v -s ../%F $$HINTERFACES \
2fa1fc53324c0fca978c902e883c7cc011210536Mark Andrews -t 'Hets - the Heterogeneous Tool Set' \
c9e976dc43070e2ed87988eeabed71195fab88baEvan Hunt -p Hets-Haddock-Prologue.txt $(doc_sources)
c9e976dc43070e2ed87988eeabed71195fab88baEvan Hunt
a8783019814daa36dd57afe3f527462822834c3bEvan Hunt# sources are not copied here
a8783019814daa36dd57afe3f527462822834c3bEvan Huntapache_doc:
a8783019814daa36dd57afe3f527462822834c3bEvan Hunt $(RM) -r docs
a8783019814daa36dd57afe3f527462822834c3bEvan Hunt cvs up -d ; echo "CVS exited with: " $$?
a8783019814daa36dd57afe3f527462822834c3bEvan Hunt $(MAKE) hets-opt
948c80ffa8f4efbade049f49d9751675f6937cf4Tinderbox User $(MAKE) doc
a8783019814daa36dd57afe3f527462822834c3bEvan Hunt $(MAKE) post_doc4apache
fec7998314cbdaf1dc89513ffff5b45fc8ed73fdMark Andrews $(MAKE) o_clean
fec7998314cbdaf1dc89513ffff5b45fc8ed73fdMark Andrews $(MAKE) hets.cgi
fec7998314cbdaf1dc89513ffff5b45fc8ed73fdMark Andrews
7ae9399897c55d35cb6764277bce4b91d052e0dcEvan Huntpost_doc4apache:
7ae9399897c55d35cb6764277bce4b91d052e0dcEvan Hunt $(RM) -r a-docs
3d066288ad6c6fe2ec2a54475f541a305a085068Evan Hunt cp -r docs a-docs
3d066288ad6c6fe2ec2a54475f541a305a085068Evan Hunt $(PERL) utils/post_process_docs.pl a-docs \
3d066288ad6c6fe2ec2a54475f541a305a085068Evan Hunt 'Common.Lib.Map.html:Common.Lib._Map.html'
74717eef53ba5d6aefc80eb262bbb090ff4bb3b5Mark Andrews $(PERL) utils/post_process_docs.pl a-docs \
74717eef53ba5d6aefc80eb262bbb090ff4bb3b5Mark Andrews 'Data.Map.html:Data._Map.html'
74717eef53ba5d6aefc80eb262bbb090ff4bb3b5Mark Andrews
c5379f197647b6e20d5bf48276c8c3b9f676c447Evan Hunt###############################
c5379f197647b6e20d5bf48276c8c3b9f676c447Evan Hunt### release management
f5c24a7f48cd68337c21dea47a448ae2ff2ccb8cEvan Hunt
f5c24a7f48cd68337c21dea47a448ae2ff2ccb8cEvan HuntderivedSources: $(derived_sources) $(hspp_sources)
f5c24a7f48cd68337c21dea47a448ae2ff2ccb8cEvan Hunt
f5c24a7f48cd68337c21dea47a448ae2ff2ccb8cEvan Hunt$(DRIFT): $(DRIFT_deps)
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt strip ../DrIFT)
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt$(GENRULES): $(DRIFT) $(GENERATERULES_deps)
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt (cd utils/GenerateRules; \
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt GenerateRules.hs -o ../genRules && strip ../genRules)
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt# "-package hssource" for ghc-5.04.2
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt$(INLINEAXIOMS): $(INLINEAXIOMS_deps)
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt -i../.. -o $(INLINEAXIOMS)
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt strip $(INLINEAXIOMS)
2548678376b5171567c902ef2d1768d2fc57f233Evan Hunt
2548678376b5171567c902ef2d1768d2fc57f233Evan HuntREV = trunk
2548678376b5171567c902ef2d1768d2fc57f233Evan Huntrelease:
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt $(RM) -r Hets
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt $(RM) -r uni
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt if [ -d ../uni ] ; then ln -s ../uni uni ; fi
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt $(RM) -r programatica
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt if [ -d ../programatica ] ; then \
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt mkdir programatica; \
d46855caedd5cb101795707f6f467fa363ef1448Evan Hunt ln -s ../../programatica/tools programatica/tools ; fi
180319f572fb6c1ca7000d22ea79a8dd77ae3f91Evan Hunt (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \
180319f572fb6c1ca7000d22ea79a8dd77ae3f91Evan Hunt cp Makefile Makefile.orig; \
180319f572fb6c1ca7000d22ea79a8dd77ae3f91Evan Hunt cp ReleaseMakefile Makefile; \
180319f572fb6c1ca7000d22ea79a8dd77ae3f91Evan Hunt ./clean.sh; \
180319f572fb6c1ca7000d22ea79a8dd77ae3f91Evan Hunt find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
7c73ac5e130db18837724ab53d46b23ddb98ce6eMark Andrews $(RM) clean.*; utils/replaceAllHeaders.sh)
9ba4efa4ac6d2d687cf1377bc9733d08d84da64cMark Andrews $(TAR) cvf Hets.tar Hets
7c73ac5e130db18837724ab53d46b23ddb98ce6eMark Andrews
0c2313eb367de3b58801d643d52c0fd9bc0e5df7Evan Huntinstall-hets:
0c2313eb367de3b58801d643d52c0fd9bc0e5df7Evan Hunt chmod g+w hets
0c2313eb367de3b58801d643d52c0fd9bc0e5df7Evan Hunt cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
0c2313eb367de3b58801d643d52c0fd9bc0e5df7Evan Hunt cp -p version_nr $(INSTALLDIR)
0c2313eb367de3b58801d643d52c0fd9bc0e5df7Evan Hunt (cd $(INSTALLDIR); $(RM) hets; \
c3bb8bb228bc8a914abc77a411faace9861632eaMark Andrews ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
11649973111d83027faf08ed4fb36a2b3c29c875Mark Andrews
74745c760c8ac4462aceb2fa6e55bc545621c66dEvan Huntinstall: hets-opt install-hets
74745c760c8ac4462aceb2fa6e55bc545621c66dEvan Hunt
74745c760c8ac4462aceb2fa6e55bc545621c66dEvan Huntpack/install-%.jar: pack/install-%.xml pack/UserInputSpec-%.xml hets.in hets
905ba39e10a8f483d167b992ec31f4c0bf34326eMark Andrews ## TODO: add more dependencies and use hets-opt
905ba39e10a8f483d167b992ec31f4c0bf34326eMark Andrews compile $< -b . -k standard -o $@
087b3e8d90c482600c20f1bd6958697419c4e77dEvan Hunt# compile $< -b . -k web -o $@
087b3e8d90c482600c20f1bd6958697419c4e77dEvan Hunt
24aaa0440116357eef3ab3796ebe53318b03b1ecEvan Hunt###################################
24aaa0440116357eef3ab3796ebe53318b03b1ecEvan Hunt### Common/LaTeX_maps.hs generation
24aaa0440116357eef3ab3796ebe53318b03b1ecEvan Hunt
a0707b6acf359b78e06fd06228ebeec5758e7e1dJeremy C. Reedutils/genItCorrections: $(GENITCORRECTIONS_deps)
a0707b6acf359b78e06fd06228ebeec5758e7e1dJeremy C. Reed $(HC) --make -o $@ $<
840d6a4614f6a561fc076d0797d144e9f28e06bcMark Andrews strip $@
840d6a4614f6a561fc076d0797d144e9f28e06bcMark Andrews
251be6e99493754700f868e0021c48b82d1c670cMark Andrewspretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
d4859b0b2a0510d8c4f3c48c606a5568a3b0c1d8Mark Andrews pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
53f91cbd80dc353ecb7e8914dae84a6cd85c67c6Mark Andrews @echo -n "Generating pretty/LaTeX_maps.hs ... "
53f91cbd80dc353ecb7e8914dae84a6cd85c67c6Mark Andrews @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
eeb13c7cd2ddde29b8605b9444451ea6e235e06aEvan Hunt @(cd pretty >/dev/null; ../utils/genItCorrections \
eeb13c7cd2ddde29b8605b9444451ea6e235e06aEvan Hunt gen_it_characters gen_it_words >> LaTeX_maps.hs)
48f97c23b7d59c925fc3f4280972e50b8ef67c35Mark Andrews @echo "ready"
eeb13c7cd2ddde29b8605b9444451ea6e235e06aEvan Hunt @echo "please copy the file manually to Common"
eeb13c7cd2ddde29b8605b9444451ea6e235e06aEvan Hunt
c3bb8bb228bc8a914abc77a411faace9861632eaMark Andrews#############################
cef76ee5bd845a80e06da934edce4225bdba22a1Mark Andrews### ATC DrIFT-rule generation
3d66a979b531b8549b412d9b592a6906fbb40143Mark Andrews
e0421bf2c57e3bb8cee8fa33470bfcf450305867Evan HuntgenRules: $(generated_rule_files)
3d66a979b531b8549b412d9b592a6906fbb40143Mark Andrews
3d66a979b531b8549b412d9b592a6906fbb40143Mark AndrewsCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
fea81a5e0e9485b24262b6a7271a4643a4d2bad4Tinderbox User $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
d90344224afc80459778e4c3412fd1f9463e24d4Mark Andrews
d90344224afc80459778e4c3412fd1f9463e24d4Mark AndrewsDL/ATC_DL.der.hs: $(DL_files) $(GENRULES)
f5695ad0e1a6cc8e19bfec7b71476e138de6cb6cMark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(DL_files)
f5695ad0e1a6cc8e19bfec7b71476e138de6cb6cMark Andrews
f5695ad0e1a6cc8e19bfec7b71476e138de6cb6cMark AndrewsRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
f5695ad0e1a6cc8e19bfec7b71476e138de6cb6cMark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
58f1ac8dadf2c1f215343a0b2d1df2df954c4b19Mark Andrews
58f1ac8dadf2c1f215343a0b2d1df2df954c4b19Mark AndrewsPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
58f1ac8dadf2c1f215343a0b2d1df2df954c4b19Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
58f1ac8dadf2c1f215343a0b2d1df2df954c4b19Mark Andrews
5244e505adc08719e1387392c6eb85c453729256Mark AndrewsHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
5244e505adc08719e1387392c6eb85c453729256Mark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
cfe32752a66fe1f050d5ed7ddce75f6d58fe1637Evan Hunt
cfe32752a66fe1f050d5ed7ddce75f6d58fe1637Evan HuntIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
cfe32752a66fe1f050d5ed7ddce75f6d58fe1637Evan Hunt $(GENRULECALL) -o $@ $(Isabelle_files)
493f3eb297ea90ad2eb349591f1cb88194dce46dMark Andrews
493f3eb297ea90ad2eb349591f1cb88194dce46dMark AndrewsModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
c5734964e6400f9e6d8c3f057fcccab596929deaMark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
c5734964e6400f9e6d8c3f057fcccab596929deaMark Andrews
d0ffef73fdee75f30e33c628a31d031616ad9433Evan HuntConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
eaa2277753c6e7e642e83b2ccd27671a15336310Evan Hunt $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
eaa2277753c6e7e642e83b2ccd27671a15336310Evan Hunt
eaa2277753c6e7e642e83b2ccd27671a15336310Evan HuntCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
43b9737b11f4f14b2d378746d0cd5561b1dc24a0Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
4499a6a3063eceb1c412f5165b9c5b47d32d5a62Evan Hunt
a338c2d94781f676283f1b110f7802c71e2015bdMukund SivaramanCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
fffcc1b13582447c9f94e498f4aaf43329c531d2Evan Hunt $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
3e90f6c373d2e6c9c9909b112468975c4c86544eMark Andrews
3e90f6c373d2e6c9c9909b112468975c4c86544eMark AndrewsCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
3e90f6c373d2e6c9c9909b112468975c4c86544eMark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
3e90f6c373d2e6c9c9909b112468975c4c86544eMark Andrews
c38341ec435fb78de6d12c1001201f9ac7487b68Mark AndrewsCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
c38341ec435fb78de6d12c1001201f9ac7487b68Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
c38341ec435fb78de6d12c1001201f9ac7487b68Mark Andrews
c3bb8bb228bc8a914abc77a411faace9861632eaMark AndrewsSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
d96f74a3cb6212ac9e4a7a0fa8924f850348eae9Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
7712d1660a308ec3de17f1ddbbf801eb0d663f3eEvan Hunt
7712d1660a308ec3de17f1ddbbf801eb0d663f3eEvan HuntOWL/ATC_OWL.der.hs: $(OWL_files) $(GENRULES)
7712d1660a308ec3de17f1ddbbf801eb0d663f3eEvan Hunt $(GENRULECALL) -i OWL.ReadWrite -o $@ $(OWL_files)
b04839cfe21f131a8e7c7cae2a89e6ca8b678b5aMark Andrews
b04839cfe21f131a8e7c7cae2a89e6ca8b678b5aMark AndrewsVSE/ATC_VSE.der.hs: $(VSE_files) $(GENRULES)
3a55d4352767acb4e0572aabfa917610001f5c9cMark Andrews $(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
3a55d4352767acb4e0572aabfa917610001f5c9cMark Andrews
bc5db10d721aa9bf570578e52e17371e67bfcf5cMark Andrewsclean_genRules:
bc5db10d721aa9bf570578e52e17371e67bfcf5cMark Andrews $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
bc5db10d721aa9bf570578e52e17371e67bfcf5cMark Andrews $(hs_clean_files)
e539e4370b95711606a269e69ccfc18fae8f9ce7Evan Hunt
70be3889746884692aa49939833d624ddd432bf0Mark Andrews###############
70be3889746884692aa49939833d624ddd432bf0Mark Andrews### clean up
d586792059601b37b17a9b3e317f4595cb30d854Evan Hunt
2383eb527269d333df4222da20e4b422c3662daaEvan Huntclean: bin_clean o_clean clean_pretty
2383eb527269d333df4222da20e4b422c3662daaEvan Hunt
586db4a3e4664109fe8ce31fdd6a1b9c5bb67cbfMukund Sivaraman### removes all *.o, *.hi and *.p_o files in all subdirectories
586db4a3e4664109fe8ce31fdd6a1b9c5bb67cbfMukund Sivaramano_clean:
275a8affe74d29d5fa51c9ba7172b90e9968199aMark Andrews find . -name \*.o -o -name \*.hi -o -name \*.p_o | xargs $(RM)
275a8affe74d29d5fa51c9ba7172b90e9968199aMark Andrews
275a8affe74d29d5fa51c9ba7172b90e9968199aMark Andrews### remove binaries
c6d2e19b964b304f1b0fd32d6faf43deca568979Evan Huntbin_clean:
6a6838f97363c7f3abe47e1fb116be2593bc53a5Mark Andrews $(RM) hets
6a6838f97363c7f3abe47e1fb116be2593bc53a5Mark Andrews $(RM) hets.cgi
ac5ed748602c890d596bed07b0b23b8b5f42b2f6Mark Andrews $(RM) $(SETUP)
ac5ed748602c890d596bed07b0b23b8b5f42b2f6Mark Andrews $(RM) $(TESTTARGETS)
ac5ed748602c890d596bed07b0b23b8b5f42b2f6Mark Andrews
ac5ed748602c890d596bed07b0b23b8b5f42b2f6Mark Andrewsclean_pretty:
89cf81b4625c574f60c21e0dce12b150f3c5583cMark Andrews $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
89cf81b4625c574f60c21e0dce12b150f3c5583cMark Andrews pretty/generated_words.tex
89cf81b4625c574f60c21e0dce12b150f3c5583cMark Andrews
2064e46209f35d2afad526622d975647f9c2098bMark Andrews### additionally removes the library files
2064e46209f35d2afad526622d975647f9c2098bMark Andrewsreal_clean: clean
2064e46209f35d2afad526622d975647f9c2098bMark Andrews
71ec6d09406771c0ad546d2d475a7f16c0198844Mark Andrews### clean user packages
71ec6d09406771c0ad546d2d475a7f16c0198844Mark Andrewspackage_clean:
71ec6d09406771c0ad546d2d475a7f16c0198844Mark Andrews $(HCPKG) unregister HAIFA --user || exit 0
71ec6d09406771c0ad546d2d475a7f16c0198844Mark Andrews $(HCPKG) unregister programatica --user || exit 0
a920fb9dc2ff16f32dd73e53469d0febcdcc6c11Mark Andrews $(HCPKG) unregister hxt-filter --user || exit 0
a920fb9dc2ff16f32dd73e53469d0febcdcc6c11Mark Andrews $(HCPKG) unregister hxt --user || exit 0
a920fb9dc2ff16f32dd73e53469d0febcdcc6c11Mark Andrews $(HCPKG) unregister tagsoup --user || exit 0
3c13af375900ffe79af4926953799e6123c9d698Mark Andrews $(HCPKG) unregister Shellac-compatline --user || exit 0
3c13af375900ffe79af4926953799e6123c9d698Mark Andrews $(HCPKG) unregister Shellac-readline --user || exit 0
3c13af375900ffe79af4926953799e6123c9d698Mark Andrews $(HCPKG) unregister HTTP --user || exit 0
d734818278966c45af997c7242e8cccd7a91a0b3Mark Andrews $(HCPKG) unregister syb-generics --user || exit 0
d734818278966c45af997c7242e8cccd7a91a0b3Mark Andrews $(HCPKG) unregister Shellac --user || exit 0
d734818278966c45af997c7242e8cccd7a91a0b3Mark Andrews $(HCPKG) unregister dataenc --user || exit 0
63e1ac1e0915dd1089493d6d092d39a3da817e59Mark Andrews
63e1ac1e0915dd1089493d6d092d39a3da817e59Mark Andrews### additionally removes generated files not in the CVS tree
63e1ac1e0915dd1089493d6d092d39a3da817e59Mark Andrewsdistclean: clean clean_genRules
63e1ac1e0915dd1089493d6d092d39a3da817e59Mark Andrews $(RM) $(derived_sources)
89119e3cafff373426858f6cec7c09539f53e209Mark Andrews $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
89119e3cafff373426858f6cec7c09539f53e209Mark Andrews $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
89119e3cafff373426858f6cec7c09539f53e209Mark Andrews $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
33399d6a143403bc4a9ccb9307af43ef04ab7633Mark Andrews
33399d6a143403bc4a9ccb9307af43ef04ab7633Mark Andrewsmaintainer-clean: distclean package_clean
33399d6a143403bc4a9ccb9307af43ef04ab7633Mark Andrews $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
ef117da20559f2a65f46ed9eb40deab5026cbd66Mark Andrews
ef117da20559f2a65f46ed9eb40deab5026cbd66Mark Andrews####################################################################
ef117da20559f2a65f46ed9eb40deab5026cbd66Mark Andrews### test targets
ba5c73b383b08326ab6b5ad2d7ca43e117e212f1Mark Andrews####################################################################
ba5c73b383b08326ab6b5ad2d7ca43e117e212f1Mark Andrews
ba5c73b383b08326ab6b5ad2d7ca43e117e212f1Mark Andrews### interactive
bf59efcf0ed41186a5f9c1ca61da15a3c99b46f3Mark Andrewsghci: $(derived_sources)
bf59efcf0ed41186a5f9c1ca61da15a3c99b46f3Mark Andrews $(HC)i $(HC_OPTS)
bf59efcf0ed41186a5f9c1ca61da15a3c99b46f3Mark Andrews
cac2181160bdb3ccc89e3560addae5e38d4c05e3Evan Hunt### christian's target
cac2181160bdb3ccc89e3560addae5e38d4c05e3Evan Hunt### CASL parser
faefeaddb39e693ea6cbcb81f2e5dbded21ced93Evan HuntfromKif: CASL/fromKif
faefeaddb39e693ea6cbcb81f2e5dbded21ced93Evan Hunt
b8a9632333a92d73a503afe1aaa7990016c8bee9Evan Hunt### Annos parser
b8a9632333a92d73a503afe1aaa7990016c8bee9Evan Huntannos: Common/annos
b8a9632333a92d73a503afe1aaa7990016c8bee9Evan Hunt
b8a9632333a92d73a503afe1aaa7990016c8bee9Evan Hunt### CASL parser
c3bb8bb228bc8a914abc77a411faace9861632eaMark Andrewscapa: CASL/capa
b8a9632333a92d73a503afe1aaa7990016c8bee9Evan Hunt
b8a9632333a92d73a503afe1aaa7990016c8bee9Evan Hunt### HasCASL parser
b8a9632333a92d73a503afe1aaa7990016c8bee9Evan Hunthacapa: HasCASL/hacapa
f5bb5eb7f6640af4a94e666bf1d7f84a6a7f1f23Mark Andrews
f5bb5eb7f6640af4a94e666bf1d7f84a6a7f1f23Mark Andrews### Haskell analysis
f5bb5eb7f6640af4a94e666bf1d7f84a6a7f1f23Mark Andrewshana: Haskell/hana
a0d411c05f12c36b298d811af3b4f2c9f08e86d4Mark Andrews
a0d411c05f12c36b298d811af3b4f2c9f08e86d4Mark Andrews### Haskell to Isabelle-HOLCF translation
a0d411c05f12c36b298d811af3b4f2c9f08e86d4Mark Andrewsh2hf: Haskell/h2hf
a0d411c05f12c36b298d811af3b4f2c9f08e86d4Mark Andrews
42782931073786f98d3d0a617351db40066949a4Mukund SivaramanHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
42782931073786f98d3d0a617351db40066949a4Mukund Sivaraman Common/Lib/*.hs Comorphisms/*.hs
42782931073786f98d3d0a617351db40066949a4Mukund Sivaraman $(HC) -O --make -o $@ $< $(HC_FLAGS) $(PFE_FLAGS)
c1d33c159bf81d6faf9948ac9a6f307ca52284afEvan Hunt
c1d33c159bf81d6faf9948ac9a6f307ca52284afEvan Hunt### HasCASL to Haskell translation
c1d33c159bf81d6faf9948ac9a6f307ca52284afEvan Hunth2h: Haskell/h2h
06e0d6bb126e9986f29036e671b59f48b1d2efbcEvan Hunt
06e0d6bb126e9986f29036e671b59f48b1d2efbcEvan Hunt### test program to check the known provers
06e0d6bb126e9986f29036e671b59f48b1d2efbcEvan HuntshowKP: Comorphisms/test/showKP
06e0d6bb126e9986f29036e671b59f48b1d2efbcEvan Hunt
8d8f9f7f86a33a155dd74b9b2c1317afca555d54Evan Hunt### run tests in other directories
8d8f9f7f86a33a155dd74b9b2c1317afca555d54Evan Huntcheck: $(TESTTARGETS)
8d8f9f7f86a33a155dd74b9b2c1317afca555d54Evan Hunt for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
7c9d11b654028f9901183c076b37a5494635f447Evan Hunt
7c9d11b654028f9901183c076b37a5494635f447Evan Hunt####################################################################
7c9d11b654028f9901183c076b37a5494635f447Evan Hunt## Preparing the version of Hets
20dec973da306d5b0776c9d3b598fdbd3a59a28eMark AndrewsDriver/Version.hs: Driver/Version.in version_nr
20dec973da306d5b0776c9d3b598fdbd3a59a28eMark Andrews $(RM) $@
20dec973da306d5b0776c9d3b598fdbd3a59a28eMark Andrews LANG=C $(PERL) utils/build_version.pl version_nr \
3b187cad7a1754e098ab9dabfcb44c8b437fb589Mark Andrews < Driver/Version.in > $@
3b187cad7a1754e098ab9dabfcb44c8b437fb589Mark Andrews chmod 444 $@
b16d99bac1d100735224ab3eaa84632537ff21b5Mark Andrews
b16d99bac1d100735224ab3eaa84632537ff21b5Mark Andrews## two hardcoded dependencies for a correct generation of Version.hs
79d27f505a67ee1fb5cf104cbe7b1ead67d252b4Mukund SivaramanDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
79d27f505a67ee1fb5cf104cbe7b1ead67d252b4Mukund Sivaramanhets.hs: Driver/Version.hs
79d27f505a67ee1fb5cf104cbe7b1ead67d252b4Mukund Sivaraman
84dc4b3e7eea3e9c8fafa5f4fd632a51ee8b356fMukund SivaramanATC/DevGraph.hs: Static/DevGraph.hs
84dc4b3e7eea3e9c8fafa5f4fd632a51ee8b356fMukund Sivaraman
84dc4b3e7eea3e9c8fafa5f4fd632a51ee8b356fMukund Sivaraman## two dependencies for avoidence of circular prerequisites
84dc4b3e7eea3e9c8fafa5f4fd632a51ee8b356fMukund SivaramanCASL_DEPENDENT_BINARIES= hets CASL/capa CASL/fromKif \
84dc4b3e7eea3e9c8fafa5f4fd632a51ee8b356fMukund Sivaraman Common/annos Common/test_parser Comorphisms/test/showKP \
84dc4b3e7eea3e9c8fafa5f4fd632a51ee8b356fMukund Sivaraman CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
93d4128dcd54c152cf97b2c36caba8f3c8de3280Mark Andrews Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
93d4128dcd54c152cf97b2c36caba8f3c8de3280Mark Andrews$(CASL_DEPENDENT_BINARIES): $(sources) $(derived_sources)
93d4128dcd54c152cf97b2c36caba8f3c8de3280Mark Andrews# CASL_DL/Logic.hs: CASL_DL/PredefinedSign.hs
50a745417461a4c007248202bb3a8bf7be426813Mark Andrews####################################################################
50a745417461a4c007248202bb3a8bf7be426813Mark Andrews## rules for DrIFT
50a745417461a4c007248202bb3a8bf7be426813Mark Andrews.SUFFIXES:
50a745417461a4c007248202bb3a8bf7be426813Mark Andrews
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt%: %.hs packages
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt $(HC) --make -o $@ $< $(HC_OPTS)
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt%.hs: %.y
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt $(HAPPY) -o $@.tmp $<
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt echo "{-# OPTIONS -w #-}" > $@
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt cat $@.tmp >> $@
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt $(RM) $@.tmp
0cfb24736841b3e98bb25853229a0efabab88bddEvan Hunt
fa6308bd57f716732ba70bbafc1d09e861e4acc1Mark Andrews%.hs: %.der.hs $(DRIFT)
fa6308bd57f716732ba70bbafc1d09e861e4acc1Mark Andrews $(RM) $@
fa6308bd57f716732ba70bbafc1d09e861e4acc1Mark Andrews ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
a4d76e3f0ba6f1fc2ba4b324f318e909b83bc860Evan Hunt chmod 444 $@
a4d76e3f0ba6f1fc2ba4b324f318e909b83bc860Evan Hunt
a4d76e3f0ba6f1fc2ba4b324f318e909b83bc860Evan Hunt## rules for inlineAxioms
3d751891410f9892ca1c1deba2f7d8556ae91b0cMark Andrews%.hs: %.inline.hs $(INLINEAXIOMS)
3d751891410f9892ca1c1deba2f7d8556ae91b0cMark Andrews $(RM) $@
3d751891410f9892ca1c1deba2f7d8556ae91b0cMark Andrews $(INLINEAXIOMS) $< > $@
800d25b8482c52487b4dab53cb10fa74061f1e94Mark Andrews chmod 444 $@
800d25b8482c52487b4dab53cb10fa74061f1e94Mark Andrews
800d25b8482c52487b4dab53cb10fa74061f1e94Mark Andrews## rule for cpp and haddock
800d25b8482c52487b4dab53cb10fa74061f1e94Mark Andrews%.hspp: %.hs
9b819daddf8f4a5bd42276ee91bf9686d42f3ceeMark Andrews $(HC) -E -cpp -D__HADDOCK__ \
9b819daddf8f4a5bd42276ee91bf9686d42f3ceeMark Andrews -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
9b819daddf8f4a5bd42276ee91bf9686d42f3ceeMark Andrews
586d94eb740587975d5348b22a5fb8440d95925dMark Andrews## compiling rules for object and interface files
f7ae6c8fdd2cd5e276251647e6852cccfc92847bMark Andrews%.o %.hi: %.hs
f7ae6c8fdd2cd5e276251647e6852cccfc92847bMark Andrews $(HC) -c $< $(HC_OPTS)
586d94eb740587975d5348b22a5fb8440d95925dMark Andrews
a569e1b3213668bc704194367ea12c23456ad1d2Mark Andrews%.o %.hi: %.lhs
a569e1b3213668bc704194367ea12c23456ad1d2Mark Andrews $(HC) -c $< $(HC_OPTS)
a569e1b3213668bc704194367ea12c23456ad1d2Mark Andrews
a569e1b3213668bc704194367ea12c23456ad1d2Mark Andrews## compiling rules for dependencies
c6f7d2b5f1378e3d61770766ee9fdd922471eb2fMark Andrews%.d : %.hs
c6f7d2b5f1378e3d61770766ee9fdd922471eb2fMark Andrews $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
603a78708343f063b44affb882ef93bb19a5142aMark Andrews
603a78708343f063b44affb882ef93bb19a5142aMark Andrews%.d : %.lhs
603a78708343f063b44affb882ef93bb19a5142aMark Andrews $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
ba586e9568364eb2da871f5fb2b71716f7c31865Mark Andrews
ba586e9568364eb2da871f5fb2b71716f7c31865Mark Andrews## generate the inline file for the predefined CASL_DL sign
ba586e9568364eb2da871f5fb2b71716f7c31865Mark AndrewsCASL_DL/PredefinedSign.inline.hs: \
a0f91e910bd9af006a65e555ec4082864ca1eb8dMark Andrews CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
570216f5a373cdaaa2eb2d9b5990150dd5a7b41bEvan Hunt CASL_DL/PredDatatypes.het
a0f91e910bd9af006a65e555ec4082864ca1eb8dMark Andrews $(RM) $@
a0f91e910bd9af006a65e555ec4082864ca1eb8dMark Andrews utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
0fe07891819138ad6e1de45f279cff940d170542Mark Andrews < CASL_DL/PredefinedSign.inline.hs.in > $@
0fe07891819138ad6e1de45f279cff940d170542Mark Andrews echo " )" >> $@
0fe07891819138ad6e1de45f279cff940d170542Mark Andrews chmod 444 $@
ea58c563bccc2a8dc20886c99c7c3334a971b6d3Evan Hunt
d319beb9d0b08db8b7f9789d916a02a56976b9b9Tinderbox User# Warning: Don't change the order of the depencies!!
ea58c563bccc2a8dc20886c99c7c3334a971b6d3Evan HuntCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
a6d48ae49345c1995c7ac7c0628bf5f9eac0719aJeremy C. Reed CASL_DL/Datatypes.het
27b09ceb12ec95de461bd2780615d4064ccb1419Mark Andrews $(RM) $@
27b09ceb12ec95de461bd2780615d4064ccb1419Mark Andrews $(PERL) $+ > $@
896f49f8bdee644cd8d10e320ea3084ca3f74e2aEvan Hunt chmod 444 $@
896f49f8bdee644cd8d10e320ea3084ca3f74e2aEvan Hunt
896f49f8bdee644cd8d10e320ea3084ca3f74e2aEvan Hunt## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
896f49f8bdee644cd8d10e320ea3084ca3f74e2aEvan Hunt# uses intransparently utils/outlineAxioms
896f49f8bdee644cd8d10e320ea3084ca3f74e2aEvan HuntModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
896f49f8bdee644cd8d10e320ea3084ca3f74e2aEvan Hunt utils/genTransMFormFunc.pl $(INLINEAXIOMS)
6fa84a3e255ef9e6233f0a8d134fc6d273f04599Evan Hunt $(RM) $@
6fa84a3e255ef9e6233f0a8d134fc6d273f04599Evan Hunt $(PERL) utils/genTransMFormFunc.pl $< $@
7f7d32d1e4023a4a74432e45dd4105ea0528c3cfEvan Hunt chmod 444 $@
104f0e51ac7f472e69d53e4900fe121b7dc78537Tinderbox User
6fa84a3e255ef9e6233f0a8d134fc6d273f04599Evan HuntINSTALLER_DIR = ../installers
ca84a056bdb492e8894c70fd7bf6a885df03039fMark Andrews
01f881c1c5683054ee3366929eae6f811777ce46Mark Andrewsifeq ($(strip $(HETS_VERSION)),)
01f881c1c5683054ee3366929eae6f811777ce46Mark AndrewsHETS_VERSION := `cat version_nr`
ca84a056bdb492e8894c70fd7bf6a885df03039fMark Andrews# or `date +%F`
ca84a056bdb492e8894c70fd7bf6a885df03039fMark Andrewsendif
a14fe8522977d391096942aae5250f00ca32d2d4Mark Andrews
a14fe8522977d391096942aae5250f00ca32d2d4Mark Andrewsinitialize_installer:
a14fe8522977d391096942aae5250f00ca32d2d4Mark Andrews mkdir -p $(INSTALLER_DIR)
5a8edcafd13fc63a066e8e42e0f95cdbf9606414Mark Andrews sed "s/^\(HETS_VERSION =\).*/\1$(HETS_VERSION)/" Makefile.installer \
5a8edcafd13fc63a066e8e42e0f95cdbf9606414Mark Andrews > $(INSTALLER_DIR)/Makefile
5a8edcafd13fc63a066e8e42e0f95cdbf9606414Mark Andrews @echo Please do
05816676bb82a5657a741ef4d378c7fb83912cfcMark Andrews @echo " -> cd $(INSTALLER_DIR)"
05816676bb82a5657a741ef4d378c7fb83912cfcMark Andrews @echo " -> make"
05816676bb82a5657a741ef4d378c7fb83912cfcMark Andrews @echo and wait until it is finished
29225772176ec580b2c903928a5c18e2e24889d0Mark Andrews