Makefile revision 05a206508bc898f87fe6ab6e069814df3c29d303
c30ef289fe64ac7fedc44cfcc6b439f0f8458b4cgregames# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
14763a0db22322626dd8cd59dfbc3a4fcc655d99trawick# Year: 2004
f769c33501f474aed3e0f7c769477c8c4f478783geoff# This Makefile will compile the new hets system and provides also
f769c33501f474aed3e0f7c769477c8c4f478783geoff# targets for test programs during implementation phases.
89ea31761658f422cf21cd3b0224dc5fe95cccd3nd# !!! Note: This makefile is written for GNU make !!!
89ea31761658f422cf21cd3b0224dc5fe95cccd3nd# (gmake on solaris)
22e2a4e366bf541a07188005e46c88c86de56775nd####################################################################
67a4d05bab3fc19c1b87fb9042977975bf27cdbdnd## Some varibles, which control the compilation
210817da3118a900388980e4481e4aec6a58f101ndHAIFA_PATHS = Network Network/Server Org Org/W3 Org/W3/N2001 \
210817da3118a900388980e4481e4aec6a58f101nd Org/Xmlsoap Org/Xmlsoap/Schemas Org/Xmlsoap/Schemas/Soap \
210817da3118a900388980e4481e4aec6a58f101nd Text Text/XML Text/XML/HXT Text/XML/Schema Text/XML/Schema/TypeMapper \
d7c7669331357296719d67d1963d40d713ed455atrawick utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
d7c7669331357296719d67d1963d40d713ed455atrawick Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
d7c7669331357296719d67d1963d40d713ed455atrawick Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
d7c7669331357296719d67d1963d40d713ed455atrawick CspCASL ATC Proofs Comorphisms Isabelle Driver Modifications \
54d0abb38e1a2ba503250495e4c3476b348f1a74madhum Taxonomy CASL_DL SoftFOL OWL OMDoc PGIP Propositional RelationalScheme \
781888a651637edc0b043a6787cb0c2acf30a187geoff# the 'replacing spaces' example was taken from the (GNU) Make info manual
82418a946182d550955bde2daae409766544c544trawickDRIFT_ENV = DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
82418a946182d550955bde2daae409766544c544trawick# override on commandline for other architectures
5d3e5520c34648220ed0cd9dc01c2c203257c86fnd /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
15240541412d9584f72016c353296e95b7339236thommayGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
15240541412d9584f72016c353296e95b7339236thommayGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
92d95be777d4365eb79444a7a558355a7a92081ajortonINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
92d95be777d4365eb79444a7a558355a7a92081ajorton Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
14763a0db22322626dd8cd59dfbc3a4fcc655d99trawickGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
5317df0c9398c362b856b205fa810dfdbca60671trawickSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
a8a509c9b67eea07a4a239e7f36c9f3de6022585trawick ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install --user
ea981941b1e5ecfb1a27b9e9aff32b9c98640ed9nd# remove -fno-warn-orphans for older ghcs and add -ifgl
ced699ca391a4fb7d70cfeb995c58d4bf62f00a8trawickHC_FLAGS = $(HC_WARN) -fglasgow-exts -fallow-overlapping-instances
ced699ca391a4fb7d70cfeb995c58d4bf62f00a8trawick# -ddump-minimal-imports
d57b793ddd42a997c2cb3bd389bbcf1161226fd8trawick# uncomment to above line to generate .imports files for displayDependencyGraph
f881e72fe4f91fd1445c5d81c95f66d6a4a3ee5btrawicklogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SoftFOL \
f881e72fe4f91fd1445c5d81c95f66d6a4a3ee5btrawick ConstraintCASL Propositional OWL DL RelationalScheme
d11bf78168abbb07d8ed9f54d7ea0953d46aad83ndTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
d11bf78168abbb07d8ed9f54d7ea0953d46aad83nd ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
bf28a00d8218aa76a56eddabca308e8d0e691626nd Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs \
bf28a00d8218aa76a56eddabca308e8d0e691626nd SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
bf28a00d8218aa76a56eddabca308e8d0e691626nd SoftFOL/tests/soapTest.hs Comorphisms/test/sublogicGraph.hs \
70f665a8945f3bdfe8bbeaa063de2aa722fc9b29ndHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
c08f5a0cf2b8903255186ba998a4481dfac9c796nd# some modules from uni for haddock
c08f5a0cf2b8903255186ba998a4481dfac9c796nd# if uni/server is included also HaXml sources are needed
5bcdf2cd27ab0c91a3c7eaffbff4cb8505389dc1nduni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
5b8e35ad88268c0210d93288dad57c2f1d3e8811nd### list of directories to run checks in
a9ee8e9bd3dffd23ca49be8d0bdf0e33cd0bcce2jortonhs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
46ef178b8f55b794c65491b370974833ce9e621bbenPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
46ef178b8f55b794c65491b370974833ce9e621bben base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
46ef178b8f55b794c65491b370974833ce9e621bben base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
8aad5258d3ecde3751559bc685a3185e63cbde9aianh property/TI property/defs property/parse2 property/parse2/Parser
71f3601de4983bc2a6aaffcf37dc1d35c8674a34coarpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
49a82db11388cff9b29ff861b4241bbce69c76fdtrawickhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
f23c50b3628a8571da2ff3277ae58ef1d675554ftrawickprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
f23c50b3628a8571da2ff3277ae58ef1d675554ftrawick echo "of programatica package found"; else \
8dc154408549195c828b823e9dc7396f107f2512jorton cp -f utils/programatica.cabal ../programatica/tools; \
7ed5992392d5babab20be4ce4029ad17ae062b5aianh echo "{-# OPTIONS -w #-}" > $@
b7973a1e572a3ff7cdedb48ed1f9481ece700bf9trawick$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
679cafe33462d8c6bd0a74cc4359e561d19a0aafndderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
81ef3d132c8f335006465f297c42319f8734825dndutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
73291de2e17c97d3549f2f8aa085ca43d27e108and## rule for appendHaskellPreludeString
3caed8f01e7d67f3ad5d47cb28bb4e43131652fdjerenkrantzHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
e127d82e8afc2f885fe2183b68d4a110580d21dfjwoolleyAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
e127d82e8afc2f885fe2183b68d4a110580d21dfjwoolley HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
fd99717a52886f7d9f9f73be2080d3fdc2ec4bd6nd#files in base/TI/
fd99717a52886f7d9f9f73be2080d3fdc2ec4bd6nd#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
5fb2e8564729922524cd011b11e2d4f5d76f5a8dnd#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
5fb2e8564729922524cd011b11e2d4f5d76f5a8dndOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
987c2c2ff2f19f306357f79d3280b347d96c470fnd base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
a4dd3688dd6645faf0c1c1bfb22017c8f03d5b24nd $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
f2fe083bb9fabd2af7eb39d4f154f27a451bb5a4nd## rule for ATC generation
aa9b03a5f32732c0caaef03a7ed78ffb290e29e4trawickTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
ab56518227d474ee08f039e4c5540011c1b8a913trawickTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))
ab56518227d474ee08f039e4c5540011c1b8a913trawick### Profiling (only for debugging)
a18a308d7a942230edcde1bf00d7ae9b4b143c90trawick### Attention every module must be compiled with profiling or the linker
36f2369ee230c310fed3b600e9e99cf5770804a3wrowe### cannot link the various .o files properly. So after switching on
a18a308d7a942230edcde1bf00d7ae9b4b143c90trawick### Profiling, do an 'gmake real_clean; gmake'
3b872593fd5f61981d9dd69a4b0b5d5f5f668929trawick### Comment in the following line for switching on profiling.
3b872593fd5f61981d9dd69a4b0b5d5f5f668929trawick# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS
fc25339741311efd7d460f18b6287ef38d76bbe6madhumHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PROF) $(HAXML_PACKAGE) $(HC_PACKAGE) \
fc25339741311efd7d460f18b6287ef38d76bbe6madhum####################################################################
fcdca175a52fe517f2317ba0e2b6e6d14522b869madhum## sources for hets
92a2439559cf1161742650ed9c50c6483bd029cemadhumnon_sources = Common/LaTeX_maps.svmono.hs Common/CaslLanguage.hs ./Test.hs \
764315969cef40e50cdc6a5e9638454e10c1c06end Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
b92cba59a0890be43b14aaf1ce30606140be9593nd CoCASL/AS_CoCASL.hs COL/AS_COL.hs ConstraintCASL/AS_ConstraintCASL.hs \
4caa28863a3418d26cc20a998dc368c3de3b7e19jerenkrantzatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
4caa28863a3418d26cc20a998dc368c3de3b7e19jerenkrantz Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
4caa28863a3418d26cc20a998dc368c3de3b7e19jerenkrantz Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
a3f2646ef3d8a3a5234a5601de0f95f10308c2a6jerenkrantz Logic/Prover.hs Common/ExtSign.hs Static/DevGraph.hs
9e398d701dd430f073ff5418fb720642e064046ajerenkrantz ATC/$(basename $(basename $(notdir $(file)))).der.hs)
a7ac9b52c3d9f7ce937f078a0d585023db626c55jerenkrantzATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
db5837bbc9bef214303e755fa52122140366cb6fianhATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
aac2b82fe4f1ac117e2a0702438d6615542642dandATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
a793d402c74e50326a2401cfbdc562c5781948fdnd $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
0a209fcb17b8c9a42a6149a1758e61cf6527d367ndATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
36f2369ee230c310fed3b600e9e99cf5770804a3wroweATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
3ded62d7f2c9b12616d718b8c97d3044baa9ecdbjerenkrantzATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
b9e99e0d3154bbebe3e1b8d11d6c15bde79510a5nd $(GENRULECALL) -i ATC.AS_Library -i ATC.Grothendieck -o $@ $<
ea5f8cfbb7ef1d19318f6994c26dd73c38ffd8ddjerenkrantzCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
4567cfc6a65328bd3e8dd2b758ca926b389c7058brianpHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
4cdc5446050c19b9d519a273a129188586e8d445jerenkrantzPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
4cdc5446050c19b9d519a273a129188586e8d445jerenkrantz Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
d5b7ba26785d7494166d48876362ba30ff30b98awroweRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
47fe07199bddec6124ab7251c6be5c6c9ac00485jerenkrantzModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantzConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantzCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
aec70520ebe1e33e0d5e83c3626649d2a41dbe68wroweCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
329ce430c1ad464f1927f95f114ab16fe91e4c9bstoddardatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
250e3f54ac9cfd4d78b1180e7f75d8a16288b0f8trawickgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
250e3f54ac9cfd4d78b1180e7f75d8a16288b0f8trawickgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
78b82ad2a006e5edfc85c5b306369e278a916eb8bnicholes Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
78b82ad2a006e5edfc85c5b306369e278a916eb8bnicholes Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs
ee64282e65aac20cde407210163ecbf7e104cc56stoddardgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
ee64282e65aac20cde407210163ecbf7e104cc56stoddardderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
911591cbd699fcc3df55396b264f2b811a068fb2stoddard $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files)
911591cbd699fcc3df55396b264f2b811a068fb2stoddard# sources that have {-# OPTIONS -cpp #-}
329ce430c1ad464f1927f95f114ab16fe91e4c9bstoddard SoftFOL/Logic_SoftFOL.hs GUI/Utils.hs Driver/WriteFn.hs \
329ce430c1ad464f1927f95f114ab16fe91e4c9bstoddard Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \
329ce430c1ad464f1927f95f114ab16fe91e4c9bstoddard Comorphisms/KnownProvers.hs hets.hs $(happy_files) \
2fe16d53f7d596938f07b0e68f65313047028a11geoff# unused, remove when header files are gone
422a2e9e48a594c7d46d62410e45651a7a994430trawick $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
422a2e9e48a594c7d46d62410e45651a7a994430trawick $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
422a2e9e48a594c7d46d62410e45651a7a994430trawick Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
804768c70a799483fa88678e6e3b3f0f0a2fee77trawickhspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz# this variable holds the modules that should be documented
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantzdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantztax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantztax_objects = $(patsubst %.hs, %.o, $(tax_sources))
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz####################################################################
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz real_clean bin_clean package_clean distclean packages \
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz http_pkg syb_pkg shellac_pkg shread_pkg shcompat_pkg \
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz hxt_pkg haifa_pkg programatica_pkg maintainer-clean annos \
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz check capa hacapa h2h h2hf showKP clean_genRules genRules \
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz derivedSources install_hets install release cgi ghci
5bd2a3a3d9e7d622546f5a3a973a9b802394ecf1jerenkrantz.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
270a4b12c5e0e51c8ffdbe8317db257a79a5f56ajortonpackages: http_pkg syb_pkg shellac_pkg shread_pkg shcompat_pkg \
cc0b2a935c91a33f5bc0f13115def505d4b864e3trawick echo "of HTTP package found"; else \
2bc1c8cb65f7b7833251e6ee4c9be636762a5081trawick echo "of syb-generics package found"; else \
8006e0b5db61df8e16b3ea4705862cd15b66e8a5striker echo "of Shellac package found"; else \
dd9feec012ad7760f0f0dd5c12cdd72aee86d243bnicholes @if $(HCPKG) field Shellac-readline version; then \
dd9feec012ad7760f0f0dd5c12cdd72aee86d243bnicholes echo "of Shellac-readline package found"; else \
cbb5a63b9436fd6d32b6679812d17e95764a095dnd echo "of Shellac-compatline package found"; else \
da152944fea872835df37b7c2141648926c7c22crederpj echo "of hxt package found"; else \
34e4083fa62b3a9cc49b25b1e11691e5094ad084rederpj echo "of HAIFA package found"; else \
2666c6e15c495cdc39b00c7bd5e3f180407dae9ejorton @echo 'File : Maintainer' > $@
2666c6e15c495cdc39b00c7bd5e3f180407dae9ejorton @echo " done"
2666c6e15c495cdc39b00c7bd5e3f180407dae9ejorton###############################
166ee86bb7bdcf9a89ebccee59c72064ac627dc0nd### count lines of code
166ee86bb7bdcf9a89ebccee59c72064ac627dc0nd###############################
166ee86bb7bdcf9a89ebccee59c72064ac627dc0nd### Documentation via haddock
0dd9b0cc0c1dcf7f6c4dba782a0b50f0b69f519dtrawick# generate haddock documentation with links to sources
0dd9b0cc0c1dcf7f6c4dba782a0b50f0b69f519dtrawick# the interface treatment is stolen from uni/mk/suffix.mk
84e59981d4df2f141ac6153e06fd8371406dd23cnd -t 'Hets - the Heterogeneous Tool Set' \
4bf5825d6c53ba24264110d7bf774709b1b2bc78trawick# sources are not copied here
277e05eebdd1878d86c1edc2538c94c5b42102e4nd###############################
277e05eebdd1878d86c1edc2538c94c5b42102e4nd### release management
277e05eebdd1878d86c1edc2538c94c5b42102e4nd (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
1cc35a6e650c0567003fc814e9887d31191756cdrederpj GenerateRules.hs -o ../genRules && strip ../genRules)
4bf5825d6c53ba24264110d7bf774709b1b2bc78trawick# "-package hssource" for ghc-5.04.2
4bf5825d6c53ba24264110d7bf774709b1b2bc78trawick $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
24a4c5e6b1bef738d5eb25cf8201d6515c42c923trawick -i../.. -o $(INLINEAXIOMS)
24a4c5e6b1bef738d5eb25cf8201d6515c42c923trawick svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
fe5303df6dec2c01e27c211277c64743ab631ceajerenkrantz if [ -d ../programatica ] ; then \
fe5303df6dec2c01e27c211277c64743ab631ceajerenkrantz ln -s ../../programatica/tools programatica/tools ; fi
fe5303df6dec2c01e27c211277c64743ab631ceajerenkrantz (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \
fe5303df6dec2c01e27c211277c64743ab631ceajerenkrantz find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
4bf5825d6c53ba24264110d7bf774709b1b2bc78trawick cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
fe5303df6dec2c01e27c211277c64743ab631ceajerenkrantz ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
fe5303df6dec2c01e27c211277c64743ab631ceajerenkrantzpack/install-%.jar: pack/install-%.xml pack/UserInputSpec-%.xml hets.in hets
4fa67b2497a22630f91186ee68d0798576a7af3and ## TODO: add more dependencies and use hets-opt
4fa67b2497a22630f91186ee68d0798576a7af3and# compile $< -b . -k web -o $@
645462b550a122912993af71d6d5bf36b59ccd2and###################################
645462b550a122912993af71d6d5bf36b59ccd2and### Common/LaTeX_maps.hs generation
b1ec41290ed913e1b9088e0a0191f8a751ee56b1trawickpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
b1ec41290ed913e1b9088e0a0191f8a751ee56b1trawick pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
b1ec41290ed913e1b9088e0a0191f8a751ee56b1trawick @echo -n "Generating pretty/LaTeX_maps.hs ... "
398ad83052f1d7ac83465320fc0bf3fef43126f4stoddard @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
398ad83052f1d7ac83465320fc0bf3fef43126f4stoddard @(cd pretty >/dev/null; ../utils/genItCorrections \
de9ac31ae22a1111c3305da66f8a0b289469150ftrawick @echo "ready"
69a2f591a7db749c7b5d07c847b94aa55c378521rederpj @echo "please copy the file manually to Common"
69a2f591a7db749c7b5d07c847b94aa55c378521rederpj#############################
69a2f591a7db749c7b5d07c847b94aa55c378521rederpj### ATC DrIFT-rule generation
0f27f7efd99f727b3dc16c7cbe03e8ff477790f4stas $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
0f27f7efd99f727b3dc16c7cbe03e8ff477790f4stas $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(DL_files)
34460b4bbbc11663429978600a97abfbf38fc38atrawickRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
34460b4bbbc11663429978600a97abfbf38fc38atrawick $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
34460b4bbbc11663429978600a97abfbf38fc38atrawickPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
34460b4bbbc11663429978600a97abfbf38fc38atrawick $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
34460b4bbbc11663429978600a97abfbf38fc38atrawickHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
34460b4bbbc11663429978600a97abfbf38fc38atrawick $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
32316124ea6961dc3aaa63272844bc2f919c0827jortonIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
32316124ea6961dc3aaa63272844bc2f919c0827jortonConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
32316124ea6961dc3aaa63272844bc2f919c0827jorton $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
32316124ea6961dc3aaa63272844bc2f919c0827jortonCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
32316124ea6961dc3aaa63272844bc2f919c0827jorton $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
ec7f4f32825686dbd6fc4cb9a4aa024b807dae8brederpjCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
ec7f4f32825686dbd6fc4cb9a4aa024b807dae8brederpj $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
812be02eda26272b189161e3be099155b195b667trawick $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
452eaf978884ae5c01422f563ec77b8ef17d12b8trawick $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
36f2369ee230c310fed3b600e9e99cf5770804a3wrowe###############
beeffe96b9eca176aa9120df8c0b7df8c94138adtrawick### clean up
de9ac31ae22a1111c3305da66f8a0b289469150ftrawick### removes all *.o, *.hi and *.p_o files in all subdirectories
34109fa9f1317edbc6bb7d67ff8933850668b797striker find . -name \*.o -o -name \*.hi -o -name \*.p_o | xargs $(RM)
fb5e196e2ee5aa7c185292c07c73e99bdf1d376astriker### remove binaries
741e26a23be86c7e457455b09501ee68b1118e1bstas### additionally removes the library files
36f2369ee230c310fed3b600e9e99cf5770804a3wrowe### clean user packages
e65b630463d750b296566135c16a30a551aa8cb4trawick $(HCPKG) unregister Shellac-compatline --user || exit 0
b1a4bfe2ea1faafd10cad5051e07503e7596b1f0fielding $(HCPKG) unregister Shellac-readline --user || exit 0
6562ca01f461db28f8b2ce4626b548627644ce12nd### additionally removes generated files not in the CVS tree
b1a4bfe2ea1faafd10cad5051e07503e7596b1f0fielding $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
36f2369ee230c310fed3b600e9e99cf5770804a3wrowe $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
36f2369ee230c310fed3b600e9e99cf5770804a3wrowe $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
dac743792d4e2f6824b4a5853d9f6fa98e3acfa7thommay####################################################################
dac743792d4e2f6824b4a5853d9f6fa98e3acfa7thommay### test targets
6562ca01f461db28f8b2ce4626b548627644ce12nd####################################################################
dac743792d4e2f6824b4a5853d9f6fa98e3acfa7thommay### interactive
2657c07d01de3105a1cf72aa3b708f2e9d8b9f08striker### christian's target
2657c07d01de3105a1cf72aa3b708f2e9d8b9f08striker### CASL parser
59b910556d04c82e951d6c6f7a413ab8fed21467trawick### Annos parser
36f2369ee230c310fed3b600e9e99cf5770804a3wrowe### CASL parser
d2ca4f326388fdd19058284043d15ec0b23d0722striker### HasCASL parser
d2ca4f326388fdd19058284043d15ec0b23d0722striker### Haskell analysis
6562ca01f461db28f8b2ce4626b548627644ce12nd### Haskell to Isabelle-HOLCF translation
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick### HasCASL to Haskell translation
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick### test program to check the known provers
ec7254c302703353d73d8d69d83cdeb0c580c8cetrawick### run tests in other directories
ba5e097fd39f0937be37ae32d65e1d3339e07f43trawick####################################################################
ba5e097fd39f0937be37ae32d65e1d3339e07f43trawick## Preparing the version of Hets
26280128921459eadd3f76a44aee9ba2f7f941c2trawick## two hardcoded dependencies for a correct generation of Version.hs
26280128921459eadd3f76a44aee9ba2f7f941c2trawickDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick## two dependencies for avoidence of circular prerequisites
dd4dfb1a26f821768f4174cf0465fee13556b68ejerenkrantzCASL_DEPENDENT_BINARIES= hets CASL/capa CASL/fromKif \
dd4dfb1a26f821768f4174cf0465fee13556b68ejerenkrantz Common/annos Common/test_parser Comorphisms/test/showKP \
dd4dfb1a26f821768f4174cf0465fee13556b68ejerenkrantz CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick$(CASL_DEPENDENT_BINARIES): $(sources) $(derived_sources)
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick####################################################################
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick## rules for DrIFT
f2af12bd7c7b0506678b4dc981482d59e49f08d3nd echo "{-# OPTIONS -w #-}" > $@
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz## rules for inlineAxioms
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz## rule for cpp and haddock
6830e61f24984184ce3095c204935d06963dcc51nd -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
6830e61f24984184ce3095c204935d06963dcc51nd## compiling rules for object and interface files
5c457d20a708ef42b0824290d0feda1852a37493rederpj## compiling rules for dependencies
36f2369ee230c310fed3b600e9e99cf5770804a3wrowe## generate the inline file for the predefined CASL_DL sign
cde00ab9085ea6e93db4a27bf6fe9a9b6eda4addnd CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
159d95df05b3100bbef7a60cb5f5d7d8d5a3328etrawick utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
159d95df05b3100bbef7a60cb5f5d7d8d5a3328etrawick echo " )" >> $@
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick# Warning: Don't change the order of the depencies!!
59b910556d04c82e951d6c6f7a413ab8fed21467trawickCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
9768955299008e29705461b314b763a79104e576nd $(PERL) $+ > $@
03e310ef946842b4dfa718776c870d012fc9ec67striker## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
03e310ef946842b4dfa718776c870d012fc9ec67striker# uses intransparently utils/outlineAxioms
03e310ef946842b4dfa718776c870d012fc9ec67strikerModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
f59888906d0566361498848fa95b4c416fad976cstriker# or `date +%F`
6a3078c438bee65f22004ac65cd2eb4fa521bbfastriker sed "s/^\(HETS_VERSION =\).*/\1$(HETS_VERSION)/" Makefile.installer \
29ecc0949b383793b24cdd0741cb86c02138ab36striker @echo " -> make"