Makefile revision 37951dbd8e5f2418a07f072d9bf551d0c3a1eafc
cff452c7e974db5053cdbd0d7bbbab2e3b4c91b9Kay Sievers# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
cff452c7e974db5053cdbd0d7bbbab2e3b4c91b9Kay Sievers# This Makefile will compile the new hets system and provides also
f957632b960a0a42999b38ded7089fa602b41745Kay Sievers# targets for test programs during implementation phases.
f957632b960a0a42999b38ded7089fa602b41745Kay Sievers# !!! Note: This makefile is written for GNU make !!!
f957632b960a0a42999b38ded7089fa602b41745Kay Sievers# (gmake on solaris)
04ac799283f517672a5424e7c5bf066cfa4ca020Zbigniew Jędrzejewski-Szmek####################################################################
04ac799283f517672a5424e7c5bf066cfa4ca020Zbigniew Jędrzejewski-Szmek## Some varibles, which control the compilation
d8160f21fd295b451cee9679aa281fedf1cb8e8cZbigniew Jędrzejewski-SzmekINCLUDE_PATH = hxt syb-generics haifa-lite/src hcl/src
d8160f21fd295b451cee9679aa281fedf1cb8e8cZbigniew Jędrzejewski-SzmekHXT_PATHS = Data Data/Tree Data/Tree/NTree Data/Digest Text Text/XML \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering Text/XML/HXT Text/XML/HXT/IO Text/XML/HXT/DOM Text/XML/HXT/Arrow \
7b4da18c1717f811bae67ea3d39290495857c03eLennart Poettering Text/XML/HXT/XPath Text/XML/HXT/Validator Text/XML/HXT/Parser \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering Text/XML/HXT/RelaxNG Text/XML/HXT/ProtocolHandler Codec Codec/ASN1 \
466784c8710e5cb0e0b86a16506d992d7ec5b619Kay Sievers Codec/Binary Codec/Encryption Codec/Encryption/RSA System Control \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart PoetteringHAIFA_PATHS = Network Network/Server Org Org/W3 Org/W3/N2001 \
bafb15bab99887d1b6b8a35136531bac6c3876a6Lennart Poettering Org/Xmlsoap Org/Xmlsoap/Schemas Org/Xmlsoap/Schemas/Soap \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering Text Text/XML Text/XML/HXT Text/XML/Schema Text/XML/Schema/TypeMapper \
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering CspCASL ATC Proofs Comorphisms Isabelle Driver \
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering Taxonomy CASL_DL SPASS OWL_DL OMDoc $(PFE_PATHS) \
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering hcl/src/Data syb-generics/Data syb-generics/Data/Generics2 \
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering $(addprefix haifa-lite/src/, $(HAIFA_PATHS))
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering# the 'replacing spaces' example was taken from the (GNU) Make info manual
154ff088d371bee5651eaa2bc9bde8a34c185656Lennart Poettering## set ghc imports properly for your system
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart PoetteringGHC_IMPORTS = `$(HC) --print-libdir`/imports
3540c7f88fd4b860d3d6d0e931ddb7cd91bc559aLennart Poettering# import directories for ghc-5.04.2
488ad3b32a7e2b5b1380abf4a15e5f65fa65f3feLennart PoetteringGHC5 = $(GHC_IMPORTS)/base:$(GHC_IMPORTS)/haskell98
488ad3b32a7e2b5b1380abf4a15e5f65fa65f3feLennart Poettering DERIVEPATH=.:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
488ad3b32a7e2b5b1380abf4a15e5f65fa65f3feLennart Poettering# override on commandline for other architectures
47c94a96df29080f8b3a97e7362df4e9c6ba3265Lennart Poettering /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
09ecd746c9d6581664873674c2188f8c93ed7780Lennart PoetteringGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
09ecd746c9d6581664873674c2188f8c93ed7780Lennart PoetteringGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs Common/Utils.hs \
09ecd746c9d6581664873674c2188f8c93ed7780Lennart PoetteringINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
09ecd746c9d6581664873674c2188f8c93ed7780Lennart Poettering Common/Doc.hs CASL/Print_AS_Basic.hs Modal/AS_Modal.hs \
09ecd746c9d6581664873674c2188f8c93ed7780Lennart Poettering Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart PoetteringGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering -i Common.DynamicUtils -i Common.ATerm.Lib
0bee65f0622c4faa8ac8ae771cc0c8a936dfa284Lennart Poettering# remove -fno-warn-orphans for older ghcs and add -ifgl
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering $(HC_WARN) -fglasgow-exts -fno-monomorphism-restriction \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering -fallow-overlapping-instances -fallow-undecidable-instances
ebcf1f97de4f6b1580ae55eb56b1a3939fe6b602Lennart Poettering# -ddump-minimal-imports
08cd15525450ff2c2ac814a58930f6d82284a1baLennart Poettering# flags also come in via ../uni/uni-package.conf
08cd15525450ff2c2ac814a58930f6d82284a1baLennart Poettering# but added it here in case of compilation without uni
47c94a96df29080f8b3a97e7362df4e9c6ba3265Lennart PoetteringHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
718db96199eb307751264e4163555662c9a389faLennart Poetteringlogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SPASS \
718db96199eb307751264e4163555662c9a389faLennart PoetteringTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
718db96199eb307751264e4163555662c9a389faLennart Poettering Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
718db96199eb307751264e4163555662c9a389faLennart Poettering ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
966204e010ed432a1d7a0481d41a326d8ec7b0c8Lennart Poettering Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs
94676f3e9352cbf1f72e0a512ee0d2ed83ff676dLennart PoetteringUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
ced4d06784dbb19666688947901961f949f2aa6dLennart PoetteringHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
416446221d905b6815175dc4d525d27f8ae43d1bLennart Poettering# some modules from uni for haddock
416446221d905b6815175dc4d525d27f8ae43d1bLennart Poettering# if uni/server is included also HaXml sources are needed
416446221d905b6815175dc4d525d27f8ae43d1bLennart Poetteringuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
baa89da40a1d42242c9c62603501ada7e9e52613Lennart Poettering ../uni/reactor ../uni/util ../uni/posixutil
7f79cd7109a60810140a045cc725291fc5515264Lennart Poetteringuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
19aadacf92ad86967ffb678e37b2ff9e83cb9480Jan EngelhardtTESTTARGETFILES += OWL_DL/ToHaskellAS.hs Taxonomy/taxonomyTool.hs
df5f6971e6e15b4632884916c71daa076c8bae96Lennart Poettering### list of directories to run checks in
8b8f259170e35b93e6c6d1757cb8b835bbdaa40cZbigniew Jędrzejewski-SzmekPFE_TOOLDIR = $(wildcard ../programatica/tools)
e10e429f2dcbb586215e65f62847f40c7d8b5956David HerrmannPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
e1b7e7ec9b34ae6ae54a4c8084395cbf2bfe9960Lennart Poettering base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
6aaa8c2f783cd1b3ac27c5ce40625d032e7e3d71Zbigniew Jędrzejewski-Szmek base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
c3bb87dbab8b79bb9253407cb5b7f3e6fe8db395Lennart Poettering base/transforms base/transforms/Deriving property \
e1b7e7ec9b34ae6ae54a4c8084395cbf2bfe9960Lennart Poettering property/syntax property/AST property/transforms \
18d4e7c26e7806ac363d19989df7144d5058ce41Lennart Poettering property/TI property/defs property/parse2 property/parse2/Parser
bdeeb6b543a2a2d0a494f17b85f1498859cdfc2fLennart PoetteringPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
bdeeb6b543a2a2d0a494f17b85f1498859cdfc2fLennart Poetteringpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
9444b1f20e311f073864d81e913bd4f32fe95cfdLennart PoetteringPFE_FLAGS = -package data -package text $(PFE_PATH) -DPROGRAMATICA
69af45035913e7119cffd94c542bd3039600e45dZbigniew Jędrzejewski-Szmekhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
19aadacf92ad86967ffb678e37b2ff9e83cb9480Jan Engelhardt patch -usNlp0 -d $(PFE_TOOLDIR) -i `pwd`/$< \
4e09014daf8f98584b3f15e64e93bed232e70a6bLennart Poettering$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
4e09014daf8f98584b3f15e64e93bed232e70a6bLennart Poettering echo "{-# OPTIONS -w #-}" > $@
86312ab8de59c1066d6d2b456f3a9106ce3e0991Lennart Poettering$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
bee7e928990fd8a0c5909c2022a2b9eede557c81Lennart Poettering -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
80caea6cc72ebd311a311b1527cc6b87201c13bfLennart Poettering -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
df98a87ba389bdfc0359beedf47557411f3af434Lennart Poetteringderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
0058679911db806b6db2fa445a1ce879a436c9d6Lennart Poetteringutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
ab9716c2489f9141ed13ec22dbb216b3e6fbd6b5Lennart PoetteringAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering## rule for appendHaskellPreludeString
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart PoetteringHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
154ff088d371bee5651eaa2bc9bde8a34c185656Lennart PoetteringAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
154ff088d371bee5651eaa2bc9bde8a34c185656Lennart Poettering HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
69af45035913e7119cffd94c542bd3039600e45dZbigniew Jędrzejewski-Szmek HsModule HsName HsLiteral HsIdent
461bd8e47cafacfcd38389e7558330bfb6e902adLennart Poettering#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
ab8e074ce25b9947314c69e17afe1bd2527ee26dLennart Poettering#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
ab8e074ce25b9947314c69e17afe1bd2527ee26dLennart PoetteringOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
ab8e074ce25b9947314c69e17afe1bd2527ee26dLennart Poettering base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
b454b11220e87add6d0f011695c7912b009c853dLennart Poettering base/parse2/SourceNames base/syntax/SyntaxRec \
06db8540cdfc8259423ed90e7352dbc1d71eccd9Lennart Poettering $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
06db8540cdfc8259423ed90e7352dbc1d71eccd9Lennart Poettering $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
4ff49cb63075aba646b578f2516b37a8dfd5a65bLennart Poettering## rule for ATC generation
fff87a35d9e26c0d4ea41273a963c0eb20e18da4Zbigniew Jędrzejewski-SzmekHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
fff87a35d9e26c0d4ea41273a963c0eb20e18da4Zbigniew Jędrzejewski-Szmek $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
b8b4d3dddc7611dce3bf28004b0375d661120c62Lennart Poetteringhs_der_files += Haskell/TiATC.hs Haskell/TiDecorateATC.hs Haskell/TiPropATC.hs
3df82d5a8cdc510f518fd5e234ccb3233b748719Lennart PoetteringTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
3df82d5a8cdc510f518fd5e234ccb3233b748719Lennart PoetteringTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))
b5c03638d48c07aa0eaf13b5f54000c7133e1883Lennart Poettering### Profiling (only for debugging)
b5c03638d48c07aa0eaf13b5f54000c7133e1883Lennart Poettering### Attention every module must be compiled with profiling or the linker
b5c03638d48c07aa0eaf13b5f54000c7133e1883Lennart Poettering### cannot link the various .o files properly. So after switching on
b5c03638d48c07aa0eaf13b5f54000c7133e1883Lennart Poettering### Profiling, do an 'gmake real_clean; gmake'
eece8c6fb5f4d354dcef6fd369e876c4f3a3f163Lennart Poettering### Comment in the following line for switching on profiling.
eece8c6fb5f4d354dcef6fd369e876c4f3a3f163Lennart Poettering#HC_PROF = -prof -auto-all -fignore-asserts
356ce9915ab1a4a1e6dc26954df34936a69e7c12Lennart PoetteringHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS) $(HC_PROF) \
356ce9915ab1a4a1e6dc26954df34936a69e7c12Lennart Poettering####################################################################
09f727eebd87661f263d3c2c1e0de7b7771acd40Lennart Poettering## sources for hets
09f727eebd87661f263d3c2c1e0de7b7771acd40Lennart Poetteringnon_sources = Common/LaTeX_maps.svmono.hs CspCASL/Main.hs \
795607b22308f5b92073b012e43be1892fdd97c0Lennart Poettering Common/CaslLanguage.hs ./Test.hs Static/LogicStructured.hs \
795607b22308f5b92073b012e43be1892fdd97c0Lennart Poettering $(wildcard syb-generics/Data/Generics2/*.hs) \
795607b22308f5b92073b012e43be1892fdd97c0Lennart Poettering $(wildcard haifa-lite/src/Org/W3/N2001/*.hs) \
795607b22308f5b92073b012e43be1892fdd97c0Lennart Poettering $(wildcard haifa-lite/src/Org/Xmlsoap/Schemas/Soap/*.hs) \
0be8342c04bbf129b4a21e5073eacccbbce4e896Lennart Poettering $(wildcard haifa-lite/src/Text/XML/*/*.hs)
0be8342c04bbf129b4a21e5073eacccbbce4e896Lennart Poetteringsources = hets.hs $(filter-out $(non_sources), \
e5ec62c56963d997edaffa904af5dc45dac23988Lennart Poettering $(wildcard $(addsuffix /[A-Z]*hs, $(SOURCE_PATHS))))
3679d1126bae52e02f6cd60fca196f616b9e660dLennart Poetteringdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
3679d1126bae52e02f6cd60fca196f616b9e660dLennart Poettering Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
3679d1126bae52e02f6cd60fca196f616b9e660dLennart Poettering Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
cbb7712189527f9f483321607e44c4ead3dd11b8Lennart Poetteringatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
d01a73b6396f57792113c1b5df6e8492fc703e5eLennart Poettering Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
d01a73b6396f57792113c1b5df6e8492fc703e5eLennart Poettering Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
f8aeee1f1fe432924b355f48f01f09c9a552ed97Lennart Poettering Logic/Prover.hs #Common/Id.hs Common/Result.hs OWL_DL/AS.hs
f8aeee1f1fe432924b355f48f01f09c9a552ed97Lennart Poetteringatc_der_files = $(foreach file, $(atc_files), \
f8aeee1f1fe432924b355f48f01f09c9a552ed97Lennart Poettering ATC/$(basename $(basename $(notdir $(file)))).der.hs)
490b7e47093d491a2bdb1084fe92b796f4e07eefLennart PoetteringATC/Result.der.hs: Common/Result.hs $(GENRULES)
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart PoetteringATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
e41814846c19a48f4490169d82e359e005c4db45Lennart PoetteringATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart PoetteringATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
e9fd44b728ff1fc0d1f24fccb87a767f6865df27Lennart Poettering $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart PoetteringATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
3040728b6691ea2e9df3a2060e2d49a792bbaedaLennart Poettering $(GENRULECALL) -i ATC.AS_Structured -o $@ $<
8ed206517c2be381324ac5832bf34cc14024270eLennart PoetteringATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering $(GENRULECALL) -i ATC.AS_Architecture -o $@ $<
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart PoetteringATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering $(GENRULECALL) -i ATC.AS_Annotation -o $@ $<
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart PoetteringATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering $(GENRULECALL) -x ProverTemplate -i ATC.AS_Annotation -o $@ $<
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart PoetteringCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart PoetteringHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart PoetteringModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart PoetteringConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
e673ad0415d89c322e5b1a121e411f1b1d8075c0Lennart PoetteringCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs CoCASL/Sublogic.hs
e673ad0415d89c322e5b1a121e411f1b1d8075c0Lennart PoetteringCspCASL_files = CspCASL/AS_CSP_CASL.hs CspCASL/SignCSP.hs
e673ad0415d89c322e5b1a121e411f1b1d8075c0Lennart PoetteringCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poetteringatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poetteringgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poetteringgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poetteringinline_axiom_files = Comorphisms/CASL2PCFOL.hs Comorphisms/PCFOL2CFOL.hs \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs
f47ec8ebb3858553dec870e1c596e39525f46360Lennart Poetteringgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poetteringderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files) \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering OWL_DL/ReadWrite.hs ConstraintCASL/AS_ConstraintCASL.hs
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering# sources that have {-# OPTIONS -cpp #-}
f47ec8ebb3858553dec870e1c596e39525f46360Lennart Poettering Common/Lib/Set.hs Common/Lib/Map.hs ATC/Set.hs\
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering SPASS/Logic_SPASS.hs GUI/Utils.hs Driver/WriteFn.hs \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering Comorphisms/KnownProvers.hs hets.hs $(happy_files) \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering hxt/Text/XML/HXT/ProtocolHandler/ProtocolHandler.hs \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering# unused, remove when header files are gone
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poetteringgenrule_header_files = $(wildcard ATC/*.header.hs)
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poetteringnondoc_sources = $(wildcard utils/DrIFT-src/*.hs) \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering $(genrule_header_files) $(generated_rule_files) \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
8b8f259170e35b93e6c6d1757cb8b835bbdaa40cZbigniew Jędrzejewski-Szmek $(patsubst %.hs, %.der.hs, $(drifted_files))
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poetteringhspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering# this variable holds the modules that should be documented
eb124a97fb72d076014253b1acde69d428f15ecfLennart Poetteringdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poetteringtax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poetteringtax_objects = $(patsubst %.hs, %.o, $(tax_sources))
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering####################################################################
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering check capa hacapa h2h h2hf clean_genRules genRules \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering count doc apache_doc post_doc4apache fromKif \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering derivedSources install_hets install release cgi patch ghci
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
8b8f259170e35b93e6c6d1757cb8b835bbdaa40cZbigniew Jędrzejewski-Szmek $(HC) --make -O -o hets hets.hs $(HC_OPTS)
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering ghc --make GUI/hets_cgi.hs -o $@ $(HC_INCLUDE) \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering###############################
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering### TAGS files for (x)emacs
eb124a97fb72d076014253b1acde69d428f15ecfLennart Poettering# load them with "M-x" "visit-tags-table" from
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering# use "M-." to search for a tag
90e071d1d59be05fcba66561439c3ca67c80ee20Lennart Poettering# !!Beware this is somewhat instable, because it uses an absolute path!!
d2e83c23f5f0cdd3b6ec05c5c40209708721e704Kay Sievers /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
f6113d42d015ad9f3a9e702a09eb8006511a4424Kay Sievers @echo 'File : Maintainer' > $@
7a43e910ce00eef22fd42925ae4c85cbea1b1320Kay Sievers 'foreach my $$f (@ARGV) { open I, "<$$f"; \
d2e83c23f5f0cdd3b6ec05c5c40209708721e704Kay Sievers print "$$f :"; while (<I>) \
c55b1b59b837dfd924b704d457ed77c55f8bfeabLennart Poettering { if(m,^\s*Maintainer\s*:\s*(.*)$$,o) { \
59704f3e937c664f7324bfbb08483c358dfbc4c6Lennart Poettering print " $$1" ; last} }; print "\n"; close I; }' \
e707c49485b8f4f2ec040d3da232d39153e650b9Lennart Poettering###############################
e707c49485b8f4f2ec040d3da232d39153e650b9Lennart Poettering### count lines of code
7f8732835295fce29479b1afc9e8ee801852db09Lennart Poettering###############################
7f8732835295fce29479b1afc9e8ee801852db09Lennart Poettering### Documentation via haddock
a19554ed92a7460b4e709cc40c558cde827ab85bLennart Poettering# generate haddock documentation with links to sources
1cb88f2c61f590083847d65cd5a518e834da87d3Lennart Poettering# the interface treatment is stolen from uni/mk/suffix.mk
1cb88f2c61f590083847d65cd5a518e834da87d3Lennart Poettering cp -r ../uni/www docs/www || mkdir docs/www
603cd8fe07cb03e8b11722d1a732e569e5a46347Lennart Poettering HINTERFACES0=`find docs/www -name '*.haddock' \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering -printf "--read-interface=www/%P,%p "` ; \
a7a3f28be404875eff20443a0fa8088bcc4c18dfLennart Poettering $(HADDOCK) -o docs -h -v -s ../%F $$HINTERFACES \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering -t 'Hets - the Heterogeneous Tool Set' \
08f9588885c5d65694b324846b0ed19211d2c178Lennart Poettering -p Hets-Haddock-Prologue.txt $(doc_sources)
7d8197d1f25c1291855bb6cffc705444978c6d8dKay Sievers# sources are not copied here
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering $(PERL) utils/post_process_docs.pl a-docs \
86d0d519429b85b0cad93c8c9fe8e68c5b9a4fe3Lennart Poettering 'Common.Lib.Map.html:Common.Lib._Map.html'
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering $(PERL) utils/post_process_docs.pl a-docs \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering###############################
eb124a97fb72d076014253b1acde69d428f15ecfLennart Poettering### release management
eb124a97fb72d076014253b1acde69d428f15ecfLennart PoetteringderivedSources: $(derived_sources) $(hspp_sources)
a56b63f41dc779a86573ae77814c14c1db156398Lennart Poettering (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
5f1dac6bf605871615b35891a3966fa474db5b20Lennart Poettering GenerateRules.hs -o ../genRules && strip ../genRules)
424a19f8a2061c6b058283228734010b2fa24db4Lennart Poettering# "hssource" for ghc-5.04.2
424a19f8a2061c6b058283228734010b2fa24db4Lennart Poettering $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
424a19f8a2061c6b058283228734010b2fa24db4Lennart Poettering -package hssource -i../.. -o $(INLINEAXIOMS)
8556879e0d14925ce897875c6c264368e2d048c2Lennart Poettering cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository\
4a30847b9d71e0381948d68279c8f775b9de7850Lennart Poettering if [ -d ../uni ] ; then ln -s ../uni uni ; fi
5e8b28838e493b59628322b69580097ef7dd9384Lennart Poettering if [ -d ../programatica ] ; then \
d87be9b0af81a6e07d4fb3028e45c4409100dc26Lennart Poettering ln -s ../../programatica/tools programatica/tools ; fi
38a60d7112d33ffd596b23e8df53d75a7c09e71bLennart Poettering (cd HetCATS; $(MAKE) derivedSources; $(MAKE) clean; \
68f160039eb78fe122cfe0d4c49695ae91f6f0d1Lennart Poettering find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
68f160039eb78fe122cfe0d4c49695ae91f6f0d1Lennart Poettering cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
edca2e2348b314e2d892fe6f8ae276fdc223f014Thomas Hindoe Paaboel Andersen (cd $(INSTALLDIR); $(RM) hets; \
68f160039eb78fe122cfe0d4c49695ae91f6f0d1Lennart Poettering ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
8230e26dc954a40d8c9dbc8ddd9376117021f9d2Lennart Poetteringpack/install-%.jar: pack/install-%.xml pack/UserInputSpec-%.xml hets.in hets
8230e26dc954a40d8c9dbc8ddd9376117021f9d2Lennart Poettering ## TODO: add more dependencies and use hets-opt
4d9909c93e9c58789c71b34555a1908307c6849eLennart Poettering# compile $< -b . -k web -o $@
47ae7201b1df43bd3da83a19e38483b0e5694c99Lennart Poettering###################################
bcd02123e10a23d79b0317072ed8d4a250163475Lennart Poetteringutils/genItCorrections: $(GENITCORRECTIONS_deps)
9946996cda11a18b44d82344676e5a0e96339408Lennart Poetteringpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
3471bedc005fab03f40b99bf6599645330adcd9eLennart Poettering pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
3471bedc005fab03f40b99bf6599645330adcd9eLennart Poettering @echo -n "Generating pretty/LaTeX_maps.hs ... "
59cea26a349cfa8db906b520dac72563dd773ff2Lennart Poettering @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
35eb6b124ebdf82bd77aad6e44962a9a039c4d33Lennart Poettering @(cd pretty >/dev/null; ../utils/genItCorrections \
5b40d33761376354116a8cddb9b9fbdb6c4727d6Lennart Poettering gen_it_characters gen_it_words >> LaTeX_maps.hs)
d3a3f22267a7dac426b07a7ed0baa1632f5daf04Kay Sievers @echo "please copy the file manually to Common"
d3a3f22267a7dac426b07a7ed0baa1632f5daf04Kay Sievers#############################
d3a3f22267a7dac426b07a7ed0baa1632f5daf04Kay Sievers### ATC DrIFT-rule generation
d3a3f22267a7dac426b07a7ed0baa1632f5daf04Kay Sievers $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
465349c06d994dd2cc6b6fc4109ac0b9952d500aLennart PoetteringHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
e01a15b71e18bf2008aec7e75041ffa42eb80b80Kay Sievers $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HasCASL_files)
abd55b16547d0bb0ed1c31e72e16838f0f59f48bKay SieversIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
3f60bcb5e69846fe8a3156ca1c9a7e0813ac158aKay Sievers $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)
abd55b16547d0bb0ed1c31e72e16838f0f59f48bKay SieversModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
abd55b16547d0bb0ed1c31e72e16838f0f59f48bKay Sievers $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
169c4f65131fbc7bcb51e7d5487a715cdcd0e0ebLennart PoetteringConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
169c4f65131fbc7bcb51e7d5487a715cdcd0e0ebLennart Poettering $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
fb0864e7b9c6d26269ccea6ec5c0fd921c029781Lennart PoetteringCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
9586cdfab6a2638078702b7fea7e16b3a71899e2Lennart Poettering $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
7f110ff9b8828b477e87de7b28c708cf69a3d008Lennart PoetteringCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
7f110ff9b8828b477e87de7b28c708cf69a3d008Lennart Poettering $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
d0e5a33374cee92962af33dfc03873e470b014f6Lennart PoetteringCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
d0e5a33374cee92962af33dfc03873e470b014f6Lennart Poettering $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
87a8baa35d6d65ac3b58ae8e26e338e67f8ae8edLennart PoetteringCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
87a8baa35d6d65ac3b58ae8e26e338e67f8ae8edLennart Poettering $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
87a8baa35d6d65ac3b58ae8e26e338e67f8ae8edLennart PoetteringSPASS/ATC_SPASS.der.hs: $(SPASS_files) $(GENRULES)
65c0cf7108ae3537a357c74b4586a783baba82f9Lennart Poettering $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SPASS_files)
f957632b960a0a42999b38ded7089fa602b41745Kay SieversOWL_DL/ATC_OWL_DL.der.hs: $(OWL_DL_files) $(GENRULES)
f957632b960a0a42999b38ded7089fa602b41745Kay Sievers $(GENRULECALL) -i ATC.AS_Annotation -i OWL_DL.ReadWrite \
f38afcd0c7f558ca5bf0854b42f8c6954f8ad7f3Lennart Poettering $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
7d441ddb5ca090b5a97f58ac4b4d97b3e84fa81eLennart Poettering###############
d3c7d7dd77b2b72315164b672462825cef6c0f9aKay Sievers### removes *.hi and *.o in all include directories
71092d70af35567dd154d3de2ce04ce62e157a7cLennart Poettering### remove binaries
253ee27a0c7a410d27d490bb79ea97caed6a2b68Lennart Poettering $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
f28f1daf754a9a07de90e6fc4ada581bf5de677dLennart Poettering### additionally removes the library files
f28f1daf754a9a07de90e6fc4ada581bf5de677dLennart Poettering### additionally removes generated files not in the CVS tree
88a07670cfa974a605c7c7b520b8a3135fce37f9Lennart Poettering $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
88a07670cfa974a605c7c7b520b8a3135fce37f9Lennart Poettering $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
88a07670cfa974a605c7c7b520b8a3135fce37f9Lennart Poettering $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
916abb21d0a6653e0187b91591e492026886b0a4Lennart Poettering####################################################################
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering### test targets
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering####################################################################
b44be3ecf6326c27aa2c6c6d1fe34e22e22592a0Lennart Poettering### interactive
21bdae12e11ae20460715475d8a0c991f15464acLennart Poettering### christian's target
21bdae12e11ae20460715475d8a0c991f15464acLennart Poettering### CASL parser
68c7d001f4117f0c3d0a4582e32cbb03ae5fac57Lennart Poettering### CASL parser
68c7d001f4117f0c3d0a4582e32cbb03ae5fac57Lennart Poettering### HasCASL parser
5d0fcd7c8d29340ac9425c309e8ac436a9af699cLennart Poettering### Haskell analysis
f530371f1f85a070d7d0fb5112146a43533ae00bLennart Poettering### Haskell to Isabelle-HOLCF translation
a73d88fa024b5668ed7dde681e99547d41e6a864Lennart PoetteringHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
3040728b6691ea2e9df3a2060e2d49a792bbaedaLennart Poettering $(HC) -O --make -o $@ $< $(HC_FLAGS) $(PFE_FLAGS)
3679d1126bae52e02f6cd60fca196f616b9e660dLennart Poettering### HasCASL to Haskell translation
3679d1126bae52e02f6cd60fca196f616b9e660dLennart Poettering### test program to check the known provers
73090dc815390f4fca4e3ed8a7e1d3806605daaaLennart PoetteringshowKP: Comorphisms/test/showKP.hs Comorphisms/*.hs Common/*.hs Logic/*.hs
71092d70af35567dd154d3de2ce04ce62e157a7cLennart Poettering### run tests in other directories
260abb780a135e4cae8c10715c7e85675efc345aLennart Poettering for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
a8f11321c209830a35edd0357e8def5d4437d854Lennart Poettering####################################################################
a8f11321c209830a35edd0357e8def5d4437d854Lennart Poettering## Preparing the version of HetCATS
21bdae12e11ae20460715475d8a0c991f15464acLennart PoetteringDriver/Version.hs: Driver/Version.in version_nr