Makefile revision a7c27282e71cf4505026645f96d4f5cb8a284e32
6aa2272cc4af77e605ba2c4a4781f8567408b7e3pquerna# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
ee508128c414648982d1cca7801f63b01a0a4f8aminfrin# Year: 2004
c7eeb0a294d58c75aee6ed86f73c6e1e8cf600a3rpluem# This Makefile will compile the new hets system and provides also
c7eeb0a294d58c75aee6ed86f73c6e1e8cf600a3rpluem# targets for test programs during implementation phases.
9a60abfb324ea66f9d7089b856f315efeb7056b4trawick# !!! Note: This makefile is written for GNU make !!!
9a60abfb324ea66f9d7089b856f315efeb7056b4trawick# (gmake on solaris)
1ce78cf71b5baaf2c1ab48e818cb1f2397df5010trawick####################################################################
1ce78cf71b5baaf2c1ab48e818cb1f2397df5010trawick## Some varibles, which control the compilation
886f0852a0b7e9f0b6414b157ea9dc403d282e3erpluemHXT_PATHS = Data Data/Tree Data/Tree/NTree Data/Digest Text Text/XML \
886f0852a0b7e9f0b6414b157ea9dc403d282e3erpluem Text/XML/HXT Text/XML/HXT/IO Text/XML/HXT/DOM Text/XML/HXT/Arrow \
886f0852a0b7e9f0b6414b157ea9dc403d282e3erpluem Text/XML/HXT/XPath Text/XML/HXT/Validator Text/XML/HXT/Parser \
886f0852a0b7e9f0b6414b157ea9dc403d282e3erpluem Text/XML/HXT/RelaxNG Text/XML/HXT/ProtocolHandler Codec Codec/ASN1 \
fafad9231a6b47368d4b690346f90698542caa50trawick Codec/Binary Codec/Encryption Codec/Encryption/RSA System Control \
b1bb7fe353e0f1759febb0c67e517195137275d3rpluem utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
b1bb7fe353e0f1759febb0c67e517195137275d3rpluem Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
b1bb7fe353e0f1759febb0c67e517195137275d3rpluem Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
4bd465052c4a0c8d41e573ee7a90c312d980355fchrisd# the 'replacing spaces' example was taken from the (GNU) Make info manual
c3c8103039e36494987aff50451896459826a361rpluem## set ghc imports properly for your system
a71dbbcb4f19f6b1d19a45defcd3ed1988d9db56niq# import directories for ghc-5.04.2
27b38d4191d5f638165e2a77ec6e6f567bd7784dniq DERIVEPATH=.:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
a87e2a23083aa62229307482afbb3b802a0c2105mturk# override on commandline for other architectures
a87e2a23083aa62229307482afbb3b802a0c2105mturk /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
6d8d07c0167960873d449b217da08faab50c410dmjcGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps) Common/Utils.hs
6d8d07c0167960873d449b217da08faab50c410dmjcGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs Common/Utils.hs \
6d8d07c0167960873d449b217da08faab50c410dmjc Common/Lib/*.hs Common/*.hs CASL/*.hs Modal/AS_Modal.hs \
6d8d07c0167960873d449b217da08faab50c410dmjc Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
188befd3a49e3a126bd801d7dc5a7f6e63ad4332mturkGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
534611d341a1a48b93c7a1fd5e333dbd261527d3rpluem# remove -fno-warn-orphans for older ghcs and add -ifgl
c3c8103039e36494987aff50451896459826a361rpluem $(HC_WARN) -fglasgow-exts -fno-monomorphism-restriction \
e99dfd55d29a7b4209b814efc7270d0b74ccee74niq -fallow-overlapping-instances -fallow-undecidable-instances
127aef4ce9f7b6b32a95c5ed9a93b796d18755e6rpluem# -ddump-minimal-imports
127aef4ce9f7b6b32a95c5ed9a93b796d18755e6rpluem# flags also come in via ../uni/uni-package.conf
127aef4ce9f7b6b32a95c5ed9a93b796d18755e6rpluem# but added it here in case of compilation without uni
62a2cea4c337100e330fd31c786c5323de2ff1a2rpluemlogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SPASS \
c3c8103039e36494987aff50451896459826a361rpluemTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
4f15e478033a94d4b2eb3c9cb55c4008806ecd18wrowe ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
4f15e478033a94d4b2eb3c9cb55c4008806ecd18wrowe Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs
7aa189407cc993c97b31167201319a9ab2e1715ewroweHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
7e5a8c14bf68438e4098f74999e154d157e33eb7wrowe# some modules from uni for haddock
192f4f9ad53487b74228b2bc410947375d69f4dfwrowe# if uni/server is included also HaXml sources are needed
79d4b708d021714647aab8b138ae671ed24765cewroweuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
79d4b708d021714647aab8b138ae671ed24765cewroweuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
79d4b708d021714647aab8b138ae671ed24765cewroweTESTTARGETFILES += OWL_DL/ToHaskellAS.hs Taxonomy/taxonomyTool.hs
88d0e50f16b21d4d0af0a48da7ad28fb5991834crpluem### list of directories to run checks in
11e1b16b907afb7de0678e28fe4849d9029e2df8rpluemPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
25a81ea1bca1c89cda713c4d23660e487b1488a0rpluem base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
25a81ea1bca1c89cda713c4d23660e487b1488a0rpluem base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
48fa058fe468025347930610ac2473094fa0f4e4chrisd property/TI property/defs property/parse2 property/parse2/Parser
3ec4328f079d8867cc323155e59678ad9437914froonegpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
de0d0b50c96fae59c28e09fed61b0d15cfa4147bchrisdPFE_FLAGS = -package data -package text $(PFE_PATH) -DPROGRAMATICA
de0d0b50c96fae59c28e09fed61b0d15cfa4147bchrisdhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
db78659055df54243bca678c35bd2ce7e31a9237rooneg echo "{-# OPTIONS -w #-}" > $@
95817edd05387a5276f51fcd5db79fc21b89b55brooneg$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholesderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholesutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholesAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholes## rule for appendHaskellPreludeString
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholesHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholesAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholes HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholes#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholes#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholesOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
69c36bbae91de0e99a682aaae9d6fa61fceb2771bnicholes base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
1b0dce86d7fc8a5aa4c89b05255be26e508c615crpluem $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
6c05afd314b4ddd545d63b4ff5de822cc30eec79trawick## rule for ATC generation
6c05afd314b4ddd545d63b4ff5de822cc30eec79trawickHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
6c05afd314b4ddd545d63b4ff5de822cc30eec79trawick $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
13cd67e9c1dacbd6b9f040bda337c725cedd98f3brianphs_der_files += Haskell/TiATC.hs Haskell/TiDecorateATC.hs Haskell/TiPropATC.hs
a623efbff95aab78da9e030524b0fa69b054f6d0brianpTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
0b4b04d8621478ba59f0a6ba2950ddc02ab92b58colm### Profiling (only for debugging)
0b4b04d8621478ba59f0a6ba2950ddc02ab92b58colm### Attention every module must be compiled with profiling or the linker
2f1bb5376c5c4022383bb729679ca751dd75a2eabrianp### cannot link the various .o files properly. So after switching on
2f1bb5376c5c4022383bb729679ca751dd75a2eabrianp### Profiling, do an 'gmake real_clean; gmake'
ad862ab5716726a2d72a292ba1dfb29566c86153brianp### Comment in the following line for switching on profiling.
ad862ab5716726a2d72a292ba1dfb29566c86153brianp#HC_PROF = -prof -auto-all -fignore-asserts
17d53ea32c4968e47733f1c2c063ae07d280efd6jerenkrantzHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS) $(HC_PROF) \
2d5532b13110a8d85653da92e97795b09cc25cc2trawick####################################################################
b38565306421ff53e9f7499bc728d6df5cec294dpquerna## sources for hets
b38565306421ff53e9f7499bc728d6df5cec294dpquernanon_sources = Common/LaTeX_maps.svmono.hs CspCASL/Main.hs \
b38565306421ff53e9f7499bc728d6df5cec294dpquerna Common/CaslLanguage.hs ./Test.hs Static/LogicStructured.hs
58c97901868722bc3b7833ac725a1d5658fa2920jimdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
2cef392e45f74260035e7449fc95d032baa88084jim Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
2cef392e45f74260035e7449fc95d032baa88084jim Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
2cef392e45f74260035e7449fc95d032baa88084jimatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
e2d680c8e2d17df28e0b9f5919e651af74e7378frpluem Logic/Prover.hs #Common/Id.hs Common/Result.hs OWL_DL/AS.hs
e2d680c8e2d17df28e0b9f5919e651af74e7378frpluem ATC/$(basename $(basename $(notdir $(file)))).der.hs)
b5fca7531f2de1c6710b45ed4f4b6089fa5a06c0rpluemATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
65acd2837c0c846f8d1f7d265bbc861f04e8a9c5niqATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
65acd2837c0c846f8d1f7d265bbc861f04e8a9c5niqATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
b5fca7531f2de1c6710b45ed4f4b6089fa5a06c0rpluem $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
b5fca7531f2de1c6710b45ed4f4b6089fa5a06c0rpluemATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
b5fca7531f2de1c6710b45ed4f4b6089fa5a06c0rpluemATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
b5fca7531f2de1c6710b45ed4f4b6089fa5a06c0rpluemATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
4b4d33edc11ab08e8019d2c2557fea73b2fdbdb0trawick $(GENRULECALL) -x ProverTemplate -i ATC.AS_Annotation -o $@ $<
4b4d33edc11ab08e8019d2c2557fea73b2fdbdb0trawickCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
4b4d33edc11ab08e8019d2c2557fea73b2fdbdb0trawickHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
a9e9e4d9b1e6bb081282f75bf450b7d7d5a1f581rpluemConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
a9e9e4d9b1e6bb081282f75bf450b7d7d5a1f581rpluemCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs CoCASL/Sublogic.hs
a9e9e4d9b1e6bb081282f75bf450b7d7d5a1f581rpluemCspCASL_files = CspCASL/AS_CSP_CASL.hs CspCASL/SignCSP.hs
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluematc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
200fd0ce73d992a43b500ddfe94487a840bd56darpluemgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluemgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rplueminline_axiom_files = Comorphisms/CASL2PCFOL.hs Comorphisms/PCFOL2CFOL.hs \
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluemgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluemderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files) \
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem OWL_DL/ReadWrite.hs ConstraintCASL/AS_ConstraintCASL.hs
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem# sources that have {-# OPTIONS -cpp #-}
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem SPASS/Logic_SPASS.hs GUI/Utils.hs Driver/WriteFn.hs \
0c5a6a11ce72ad41b14c755f4a2254e0c7b70245rpluem# unused, remove when header files are gone
200fd0ce73d992a43b500ddfe94487a840bd56darpluem $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
200fd0ce73d992a43b500ddfe94487a840bd56darpluem $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
200fd0ce73d992a43b500ddfe94487a840bd56darpluem Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
cbb903af5066589fe0e73f3ecf06abdc71e38effrpluemhspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
0919d062982a9c9d2f4a8933ef54ccba2dd2b8f8rpluem# this variable holds the modules that should be documented
0919d062982a9c9d2f4a8933ef54ccba2dd2b8f8rpluemdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
0919d062982a9c9d2f4a8933ef54ccba2dd2b8f8rpluemtax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
60262a02cfeba50d60d990b56d0e0c1d1fafb672sctemme Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
0919d062982a9c9d2f4a8933ef54ccba2dd2b8f8rpluem####################################################################
0919d062982a9c9d2f4a8933ef54ccba2dd2b8f8rpluem.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
c9ce3d3ead2ba4ea6f5bb176745172f3538aed60rpluem derivedSources install_hets install release cgi patch ghci
c9ce3d3ead2ba4ea6f5bb176745172f3538aed60rpluem.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
317b1987e48bbdbfe8b1dcccdcf5cd6c10a26436jim###############################
317b1987e48bbdbfe8b1dcccdcf5cd6c10a26436jim### TAGS files for (x)emacs
317b1987e48bbdbfe8b1dcccdcf5cd6c10a26436jim# load them with "M-x" "visit-tags-table" from
317b1987e48bbdbfe8b1dcccdcf5cd6c10a26436jim# use "M-." to search for a tag
317b1987e48bbdbfe8b1dcccdcf5cd6c10a26436jim# !!Beware this is somewhat instable, because it uses an absolute path!!
317b1987e48bbdbfe8b1dcccdcf5cd6c10a26436jim /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
b9ebc87040e76abda075c91317cd0e1a7c9810e4trawick @echo 'File : Maintainer' > $@
b9ebc87040e76abda075c91317cd0e1a7c9810e4trawick 'foreach my $$f (@ARGV) { open I, "<$$f"; \
b9ebc87040e76abda075c91317cd0e1a7c9810e4trawick print "$$f :"; while (<I>) \
b9ebc87040e76abda075c91317cd0e1a7c9810e4trawick { if(m,^\s*Maintainer\s*:\s*(.*)$$,o) { \
b9ebc87040e76abda075c91317cd0e1a7c9810e4trawick print " $$1" ; last} }; print "\n"; close I; }' \
dc681b5cee49eb24c3ae8d6f50c4c9c9c05faa52rpluem @echo " done"
2c3721611cc8d1ebd87b152e7d933a6dec23b3dcwrowe###############################
2c3721611cc8d1ebd87b152e7d933a6dec23b3dcwrowe### count lines of code
2c3721611cc8d1ebd87b152e7d933a6dec23b3dcwrowe###############################
2c3721611cc8d1ebd87b152e7d933a6dec23b3dcwrowe### Documentation via haddock
cbb903af5066589fe0e73f3ecf06abdc71e38effrpluem# generate haddock documentation with links to sources
cbb903af5066589fe0e73f3ecf06abdc71e38effrpluem# the interface treatment is stolen from uni/mk/suffix.mk
cbb903af5066589fe0e73f3ecf06abdc71e38effrpluem -t 'Hets - the Heterogeneous Tool Set' \
cbb903af5066589fe0e73f3ecf06abdc71e38effrpluem# sources are not copied here
c83edb2f6bafd5f7013cd6bad78753a1e0c5fbe6jim###############################
c83edb2f6bafd5f7013cd6bad78753a1e0c5fbe6jim### release management
3aeb30211790fef38a8297f990b7ad3b2c46ece9colm (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
b7ad88322f8ea46b7ddac349956eed358b6980f1rpluem GenerateRules.hs -o ../genRules && strip ../genRules)
b7ad88322f8ea46b7ddac349956eed358b6980f1rpluem# "hssource" for ghc-5.04.2
b7ad88322f8ea46b7ddac349956eed358b6980f1rpluem $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
79d1d5666b3ceb59c959b09600aa2bce32324677rpluem cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository\
a17ca1093e7dc28c1a54cfd9741f65653f5b2b19jim if [ -d ../programatica ] ; then \
dbb3b82abaa9c0ad199a0a3d6a7a505136137c61colm find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
3d76cdd5855071bbfb95a27de7d77a8855d1e893niq ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
bf0dec31a67271a4a67a6d3a3a9b3cdb41278390rpluem###################################
7612604db51e61f6ec4a6593c188e6d0640646abwrowe### Common/LaTeX_maps.hs generation
0a2c6381b34b977101327f412a4b1ddc8a361ae7rpluempretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
0a2c6381b34b977101327f412a4b1ddc8a361ae7rpluem pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
0a2c6381b34b977101327f412a4b1ddc8a361ae7rpluem @echo -n "Generating pretty/LaTeX_maps.hs ... "
0a2c6381b34b977101327f412a4b1ddc8a361ae7rpluem @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
8828f8c859fabac8c0080440392bc279877f9802rpluem @echo "ready"
0830215c2542165c027f092c18924f2885c98b49trawick @echo "please copy the file manually to Common"
0830215c2542165c027f092c18924f2885c98b49trawick#############################
0830215c2542165c027f092c18924f2885c98b49trawick### ATC DrIFT-rule generation
9505e1a9012d92bfd2b6228e675156f44a27aa04colm $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
3aeb30211790fef38a8297f990b7ad3b2c46ece9colmHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
3aeb30211790fef38a8297f990b7ad3b2c46ece9colm $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HasCASL_files)
3aeb30211790fef38a8297f990b7ad3b2c46ece9colmIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
6eb3a057b5e4f046faba79104d7941552de755dacolm $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)
2e02c854b4531480fe3f7ab353154c99c5bd97e8jortonConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
2e02c854b4531480fe3f7ab353154c99c5bd97e8jorton $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
2e02c854b4531480fe3f7ab353154c99c5bd97e8jortonCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
2e02c854b4531480fe3f7ab353154c99c5bd97e8jorton $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
2e02c854b4531480fe3f7ab353154c99c5bd97e8jorton $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
70706a4d1ead0d72a443eac1cc446a0f1a4de069colmCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
9cfe09f7e922f7bdf61bfe10a47e8f25145cdf92colm $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SPASS_files)
2e02c854b4531480fe3f7ab353154c99c5bd97e8jorton $(GENRULECALL) -i ATC.AS_Annotation -i OWL_DL.ReadWrite \
2e02c854b4531480fe3f7ab353154c99c5bd97e8jorton $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
a09378e32e823d5619f766394fcdde1cfa16c5dajim###############
a09378e32e823d5619f766394fcdde1cfa16c5dajim### clean up
a09378e32e823d5619f766394fcdde1cfa16c5dajim### removes *.hi and *.o in all include directories
ce8e09ffeb8c696f7fc6c5dfa8814c52caaac59bcolm### remove binaries
6eb3a057b5e4f046faba79104d7941552de755dacolm### additionally removes the library files
6eb3a057b5e4f046faba79104d7941552de755dacolm### additionally removes generated files not in the CVS tree
dface6840439ab84a36749f40e7773ebfdc2066ejorton $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
dface6840439ab84a36749f40e7773ebfdc2066ejorton $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
1febae173a82bc2a71c3c0ba4105cf674000791bjim####################################################################
1febae173a82bc2a71c3c0ba4105cf674000791bjim### test targets
1febae173a82bc2a71c3c0ba4105cf674000791bjim####################################################################
2b409b0583ef844d6f85002160cbc6df95b9afa8jerenkrantz### interactive
454d060a0d7b13606978c536f632be71e311959djerenkrantz### christian's target
454d060a0d7b13606978c536f632be71e311959djerenkrantz### CASL parser
1392b9997000dceb6aca39da0a1e6405ccb6f0a6jerenkrantz### CASL parser
4b0a0ae3fd77f8fc8fd2a693be33ffe4d99cb94ajerenkrantz### HasCASL parser
4b0a0ae3fd77f8fc8fd2a693be33ffe4d99cb94ajerenkrantz### Haskell analysis
ee508128c414648982d1cca7801f63b01a0a4f8aminfrin### Haskell to Isabelle-HOLCF translation
ee508128c414648982d1cca7801f63b01a0a4f8aminfrinHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
9b88ec397b4155f3ff79bf7c08de5f15d21765b3pquerna### HasCASL to Haskell translation
a42c13195a5c68d55f6b2bbf5b5e1e66ab45d5d4pquerna### test program to check the known provers
a42c13195a5c68d55f6b2bbf5b5e1e66ab45d5d4pquernashowKP: Comorphisms/test/showKP.hs Comorphisms/*.hs Common/*.hs Logic/*.hs
2a90918318af50d5712ae7159e5625476332c184pquerna### run tests in other directories
ede0584e7ec53cc1ea832c5c50281431d9ecc576pquerna####################################################################
ede0584e7ec53cc1ea832c5c50281431d9ecc576pquerna## Preparing the version of HetCATS
42167da203d969a1402cf7ce09c14586c04af1dfjim $(PERL) utils/build_version.pl version_nr < Driver/Version.in > $@
e62b34b26eb8e82bf6f06ff99a08e304b48792ecpquerna## two hardcoded dependencies for a correct generation of Version.hs
e62b34b26eb8e82bf6f06ff99a08e304b48792ecpquernaDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
27420b7ba57bf78f7a85b19fb0155053a3aff80dwrowe####################################################################
27420b7ba57bf78f7a85b19fb0155053a3aff80dwrowe## rules for DrIFT
9152b0c4366af633c4b7982af01bd9a821f410d5pquerna echo "{-# OPTIONS -w #-}" > $@
39dbd3f60b93f5e0fbf46d9ae237f6742e113442pquerna## rules for inlineAxioms
89211a3153be8b03353c3bfbca45fed67cb80f0bpquerna## rule for cpp and haddock
89211a3153be8b03353c3bfbca45fed67cb80f0bpquerna $(HC) -E -cpp -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
a14ccf0f7e9b44c6848334823542a1799577f669pquerna## compiling rules for object and interface files
a2e37e48efb113e8e4f9d9ca9c8286aaac6c936cpquerna## compiling rules for dependencies
eb8430fd3bc941c0b3ba8bba3884b7fc464bf458pquerna## generate the inline file for the predefined CASL_DL sign
eb8430fd3bc941c0b3ba8bba3884b7fc464bf458pquerna# Warning: Don't change the order of the depencies!!
fde88bb682426885c679198ee130d2d5a29e8c0fbnicholes CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
fde88bb682426885c679198ee130d2d5a29e8c0fbnicholes utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
fde88bb682426885c679198ee130d2d5a29e8c0fbnicholes echo " )" >> $@
60e385aa992e11a6cb0504e8d4fc35186e8d848bpquernaCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
d66ac514cc15e99228d72c56c6c3daf25da8d360niq $(PERL) $+ > $@
d66ac514cc15e99228d72c56c6c3daf25da8d360niq## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
e23b77006a8b079c0ad52e42ba2029e759455b8fjorton# uses intransparently utils/outlineAxioms