Makefile revision 4e23d551da8fb051cc4752319740ae7858ef1044
c30ef289fe64ac7fedc44cfcc6b439f0f8458b4cgregames# Author: (c) Klaus Luettich, Christian Maeder, Uni Bremen 2002-2009
5c6cb72bfeee541644cea8177aefce1157571d3bjerenkrantz# This Makefile will compile the hets system and provides also
5c6cb72bfeee541644cea8177aefce1157571d3bjerenkrantz# targets for test programs during implementation phases.
3261272660074474d7572a08b3833e73c1050619stoddard# !!! Note: This makefile is written for GNU make !!!
3261272660074474d7572a08b3833e73c1050619stoddard# (gmake on solaris)
db8551deeb08fa799e7f27e8b748a9397f747bdcjorton# deprecated since haddock 2
db8551deeb08fa799e7f27e8b748a9397f747bdcjorton utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
db8551deeb08fa799e7f27e8b748a9397f747bdcjorton Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
9e3209bc06ddf32f23e4b254faa45914bc323cc9jim Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
9e3209bc06ddf32f23e4b254faa45914bc323cc9jim CspCASL ATC Proofs Comorphisms Isabelle Driver Modifications \
9e3209bc06ddf32f23e4b254faa45914bc323cc9jim Taxonomy CASL_DL SoftFOL OWL OMDoc PGIP Propositional RelationalScheme \
45ed846f4ed90f05c084f6a33d688e642be4e623jerenkrantz# the 'replacing spaces' example was taken from the (GNU) Make info manual
54d22ed1c429b903b029bbd62621f11a9e286137minfrinDRIFT_ENV = DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
54d22ed1c429b903b029bbd62621f11a9e286137minfrinGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
54d22ed1c429b903b029bbd62621f11a9e286137minfrinGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
dc34168d7eb90524f361e076457f68c3f33efaa3jortonINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
dc34168d7eb90524f361e076457f68c3f33efaa3jorton Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
06106b6b63b112a09de1b66fa29596035c0176ffthommayGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
e335319a08e12eb7daff9afa80e985dc53f652b8jorton -i Data.Typeable -i Common.ATerm.Lib -i ATC.Grothendieck
77edcaaccc089335938f3844b752e1044f7eb278trawickSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
59b1b6c3fd51c83c3bb9f02a8f08751335f9fb1dminfrin# list glade files
9f1a88897168c3f1e5009acb585daf01e38a0299jimGTK_GLADE_HSFILES = $(subst .glade,.hs,$(GTK_GLADE_FILES))
616a448c1fca1648622707df5a1aae7316bb3d5djim# the list of logics that need ShATermConvertible instances
616a448c1fca1648622707df5a1aae7316bb3d5djimlogics = CASL HasCASL Isabelle Modal Temporal CoCASL COL CspCASL CASL_DL \
616a448c1fca1648622707df5a1aae7316bb3d5djim SoftFOL ConstraintCASL Propositional OWL RelationalScheme VSE OMDoc DFOL \
5a8bb5948d2a258145174320587706de3219d8a3pquernaTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
5a8bb5948d2a258145174320587706de3219d8a3pquerna ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
5a8bb5948d2a258145174320587706de3219d8a3pquerna Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs \
843a03fe0b138a4c1f64cb90a014e9417ac30691fielding SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
0cba3a63e59bfa77f67955cb4e034264ed6c5523jerenkrantz### list of directories to run checks in
e5abee85fe751fc27c5d4fc9a8ebe3b80f3d6603trawickhs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
ca3a25d12c5fe0926aa97550be39f0d88d0decb1pquernaPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
ca3a25d12c5fe0926aa97550be39f0d88d0decb1pquerna base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
ca3a25d12c5fe0926aa97550be39f0d88d0decb1pquerna base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
74def8815c725f8128a4e76ab1f5704df80b024ajerenkrantz property/syntax property/AST property/transforms \
74def8815c725f8128a4e76ab1f5704df80b024ajerenkrantz property/TI property/defs property/parse2 property/parse2/Parser
74def8815c725f8128a4e76ab1f5704df80b024ajerenkrantzPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
8f868f15482c7406db01216b6e4778ddabb26898trawickpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
8f868f15482c7406db01216b6e4778ddabb26898trawickhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
f902601ea431a9b56106e0f5f641dd5fd7efbc30jortonprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
1e1e4f4f810b99732f06fc05141f42ca1965a9edpquerna echo "of programatica package found"; else \
5f80956ca9d98d5482f38eef0c465df0923d7781jerenkrantz cp -f utils/programatica.cabal ../programatica/tools; \
d2ffb32434f79782ff7a364ffa31064698c5c645jorton echo "{-# OPTIONS -w #-}" > $@
01847067cfc639c14e1aa77d3b3e98f239447a12jerenkrantz$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
81540a0eb1da2c687e22de3367d8ded55e17e330pquernaAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
ce66c67eba79a20118d8664b65b0c9eeec1bebdabnicholes## rule for appendHaskellPreludeString
ce66c67eba79a20118d8664b65b0c9eeec1bebdabnicholesHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
6cfc2ed5a8e633c5a40fec65775868d53952d992trawickAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
6cfc2ed5a8e633c5a40fec65775868d53952d992trawick HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
e34223f72e630187c4d8ac7c22da5096c833eb20trawick#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
e34223f72e630187c4d8ac7c22da5096c833eb20trawick#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
5159c40648868a58745aa11981f706948ff0f0d1pquernaOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
5159c40648868a58745aa11981f706948ff0f0d1pquerna base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
c178b761acd6bffa199c2fd28c4469492b989699nd $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
320ffe87a55e6172f91e051a2151790755446690minfrin## rule for ATC generation
320ffe87a55e6172f91e051a2151790755446690minfrinHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
08b98efa42017369c679a7457c79d5220fb3431btrawick $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
9c6bbd67082b5a47fb17cfa5b61b8a7e1fb01875pquernaTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
572f5b8a84bb399e51b02a562776f4aec119aa95pquerna# unset this variable from var.mk because the programatica sources
572f5b8a84bb399e51b02a562776f4aec119aa95pquerna# are needed to created our sources!
1b03ca18c41f51a25dcf1a623a8f558bd779e0a4jerenkrantz# end of programatica stuff
1b03ca18c41f51a25dcf1a623a8f558bd779e0a4jerenkrantzTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))
1b03ca18c41f51a25dcf1a623a8f558bd779e0a4jerenkrantz# remove -fno-warn-orphans for older ghcs and add -ifgl
1b03ca18c41f51a25dcf1a623a8f558bd779e0a4jerenkrantz# INCLUDE_PATH =
db443e0132f14dac789ab97ec23ce124360d74c2nd# uncomment HC_PROF for profiling (and comment out packages in var.mk)
db443e0132f14dac789ab97ec23ce124360d74c2nd# call resulting binary with a final +RTS -p to get a file <binary>.prof
4ac7a7c09ac5732b09f8bf28873f7e9efcab34d5bnicholes# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS
4ac7a7c09ac5732b09f8bf28873f7e9efcab34d5bnicholes# -ddump-minimal-imports
4ac7a7c09ac5732b09f8bf28873f7e9efcab34d5bnicholes# uncomment the above line to generate .imports files for displayDependencyGraph
4ac7a7c09ac5732b09f8bf28873f7e9efcab34d5bnicholes## deprecated non-sources to be excluded for haddock-0.8
4ac7a7c09ac5732b09f8bf28873f7e9efcab34d5bnicholesnon_sources = Common/LaTeX_maps.svmono.hs Common/CaslLanguage.hs ./Test.hs \
ce8490f3812311582d1deee96b012c377311b317minfrin## deprecated hets sources for haddock-0.8
38f6ebaca968b7b23c25c0b30d0be1c7aad7412bjorton# files generated by DriFT
cc7d8b55b16eee88be925a090473ca94b0a6e770jorton Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
2555a6b5da21d61804f47084d8fcc98eb4acbc42wrowe# files to extract data types from to generate ShATermConvertible instances
2555a6b5da21d61804f47084d8fcc98eb4acbc42wroweatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
2555a6b5da21d61804f47084d8fcc98eb4acbc42wrowe Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
2555a6b5da21d61804f47084d8fcc98eb4acbc42wrowe Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
eb6e3a3e784021abc1e28247158db3a8b07186b9minfrin Logic/Prover.hs Common/LibName.hs Common/ExtSign.hs \
eb6e3a3e784021abc1e28247158db3a8b07186b9minfrin# files generated by genRules as input for DriFT
f5098e2eb6ed9dfd7052f25761bb5e97779b8460minfrin ATC/$(basename $(basename $(notdir $(file)))).der.hs)
d86551ca954d666d5b15ad38e9daf45680516c25jerenkrantz# the rules to create ATC .der.hs file for DriFT
1551c2366551d7a361bedbf7ae54f1abd74ef822minfrinATC/ProofTree.der.hs: Common/ProofTree.hs $(GENRULES)
f1826b4cf1fbeb049c569761cc95b04e3496efd6bnicholesATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
1a986bbad9314beb8739401cac822e87bb04bbfepquernaATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
1a986bbad9314beb8739401cac822e87bb04bbfepquernaATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
752ec04fdfa6e936047811b9e506cf829d7a69f7pquernaATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
cf82d17373559b6163dbd6c844c1af82cab56883niqATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
cf82d17373559b6163dbd6c844c1af82cab56883niq $(GENRULECALL2) -i ATC.AS_Architecture -i ATC.LibName -o $@ $<
cf82d17373559b6163dbd6c844c1af82cab56883niqATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
174a8f105b1c11aa50a05993ea8ba2d117d3df6end# ATC files for every logic
174a8f105b1c11aa50a05993ea8ba2d117d3df6endCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
3ad0f071604de33c0b3733b649cd0445ba00f54dakeHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
c2549f0b237ac86f3623a601a766969d805dbc2andPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
c2549f0b237ac86f3623a601a766969d805dbc2and Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
f84d3d83a741c21154d42e0ebdec9b9b37efeedcjortonRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
d60027cde3289d3ef35bc9d815882975eb60e6abjortonTemporal_files = Temporal/AS_BASIC_Temporal.hs Temporal/Sign.hs \
d60027cde3289d3ef35bc9d815882975eb60e6abjortonConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
504498fd20729dcc29dfbfb78e64a8521c6a767ajerenkrantzCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
d406be0d6a4f9e61bbdfa6c8cde2e09338dd650atrawickCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
269e0a31aa0f6aafe7292e932a182ccb535e55a9trawickCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs
b95a84193578c904426cef6dda84f7118a400a16jimDFOL_files = DFOL/AS_DFOL.hs DFOL/Sign.hs DFOL/Morphism.hs DFOL/Symbol.hs
b95a84193578c904426cef6dda84f7118a400a16jimMaude_files = Maude/Sign.hs Maude/Morphism.hs Maude/Sentence.hs \
03a3ed87983471816561562f957390ed935d7b3bnd# ATC DrIFT-rule generation for logics
c533ecac2227dc228070e686fb14dc6860f497f8nd $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
56cefde0af6b8db6fda0f1d95d8cdca54f397cd0ndRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
56cefde0af6b8db6fda0f1d95d8cdca54f397cd0nd $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
41369ed0bc7f2db6272278c27025f6aabf97fe63ndPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
41369ed0bc7f2db6272278c27025f6aabf97fe63nd $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
9e8c2603790f490398a0fabf97866b6815748a54ianh $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
9e8c2603790f490398a0fabf97866b6815748a54ianhIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
1fbcf7a8e7b18be1b0e77b7bc38b7b71f8dfb052ndTemporal/ATC_Temporal.der.hs: $(Temporal_files) $(GENRULES)
f769c33501f474aed3e0f7c769477c8c4f478783geoffConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
f769c33501f474aed3e0f7c769477c8c4f478783geoff $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
d7c7669331357296719d67d1963d40d713ed455atrawickCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
d7c7669331357296719d67d1963d40d713ed455atrawick $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
d7c7669331357296719d67d1963d40d713ed455atrawickCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
92d95be777d4365eb79444a7a558355a7a92081ajorton $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
af8dee354a287249dd9f3f77bbe850108e5afe43trawickCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
af8dee354a287249dd9f3f77bbe850108e5afe43trawick $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
af8dee354a287249dd9f3f77bbe850108e5afe43trawickSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
14763a0db22322626dd8cd59dfbc3a4fcc655d99trawick $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
f78505c7d260473bf11002f5028186f27d0ed8a0geoff $(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
d57b793ddd42a997c2cb3bd389bbcf1161226fd8trawick $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(DFOL_files)
d11bf78168abbb07d8ed9f54d7ea0953d46aad83nd# all ATC .der.hs files for all logics
bf28a00d8218aa76a56eddabca308e8d0e691626ndatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
bf28a00d8218aa76a56eddabca308e8d0e691626ndgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
bf28a00d8218aa76a56eddabca308e8d0e691626nd# a rule to create all .der.hs files
70f665a8945f3bdfe8bbeaa063de2aa722fc9b29nd# the final ATC target files created by DriFT
c08f5a0cf2b8903255186ba998a4481dfac9c796ndgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
c08f5a0cf2b8903255186ba998a4481dfac9c796nd# files to be processed by utils/InlineAxioms
02b0660d7f44ff8106bd5095653e9c19e39ec37dndgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
02b0660d7f44ff8106bd5095653e9c19e39ec37dnd# all sources that need to be created before ghc can be called
5b8e35ad88268c0210d93288dad57c2f1d3e8811ndderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
5b8e35ad88268c0210d93288dad57c2f1d3e8811nd $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files)
a9ee8e9bd3dffd23ca49be8d0bdf0e33cd0bcce2jorton# sources that have {-# OPTIONS -cpp #-}
8dc154408549195c828b823e9dc7396f107f2512jorton# further sources that should be excluded from haddock-0.8
6126fad8adeca94e9813812c691747afeca164dftrawick $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
6126fad8adeca94e9813812c691747afeca164dftrawick $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
7ed5992392d5babab20be4ce4029ad17ae062b5aianh Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
b7973a1e572a3ff7cdedb48ed1f9481ece700bf9trawickhspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
5c4e29c5f77fbc967d78886ab378b9500267b0fbtrawick# this variable holds the modules that should be documented
5c4e29c5f77fbc967d78886ab378b9500267b0fbtrawickdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
1fbf6ba0f5207e6637b49f9a9dfcc779bbe952a9trawick####################################################################
6c4c113ce85934b11c9e78399e1bb8ec7a568af9nd### targets
679cafe33462d8c6bd0a74cc4359e561d19a0aafnd.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
81ef3d132c8f335006465f297c42319f8734825dnd check capa hacapa h2h h2hf showKP clean_genRules genRules \
73291de2e17c97d3549f2f8aa085ca43d27e108and.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
f2fe083bb9fabd2af7eb39d4f154f27a451bb5a4nd @echo 'File : Maintainer' > $@
7de6cb79f71a9007ba2b1e786cbad8b84f05d101nd @echo " done"
7de6cb79f71a9007ba2b1e786cbad8b84f05d101nd# count lines of code
ab56518227d474ee08f039e4c5540011c1b8a913trawick# Documentation via haddock
fc25339741311efd7d460f18b6287ef38d76bbe6madhum -t 'Hets - the Heterogeneous Tool Set' \
36f2369ee230c310fed3b600e9e99cf5770804a3wrowe Syntax/ADoc.hs $(filter-out Test.hs, $(wildcard *.hs))
fcdca175a52fe517f2317ba0e2b6e6d14522b869madhum# generate haddock documentation with links to sources
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantz# the interface treatment is stolen from uni/mk/suffix.mk
764315969cef40e50cdc6a5e9638454e10c1c06end -t 'Hets - the Heterogeneous Tool Set' \
402d23baca89e8c4fcb4e52ad8b2d66a6904baaetrawick (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT)
4caa28863a3418d26cc20a998dc368c3de3b7e19jerenkrantz $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
a3f2646ef3d8a3a5234a5601de0f95f10308c2a6jerenkrantz# "-package hssource" for ghc-5.04.2
9e398d701dd430f073ff5418fb720642e064046ajerenkrantz $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
1a5b9e0071f0c662036250b482d566ad87ff0b4bjerenkrantzutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
a7ac9b52c3d9f7ce937f078a0d585023db626c55jerenkrantz# release management
db5837bbc9bef214303e755fa52122140366cb6fianh svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
a793d402c74e50326a2401cfbdc562c5781948fdnd if [ -d ../programatica ] ; then \
3ded62d7f2c9b12616d718b8c97d3044baa9ecdbjerenkrantz find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
b9e99e0d3154bbebe3e1b8d11d6c15bde79510a5ndpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
b9e99e0d3154bbebe3e1b8d11d6c15bde79510a5nd pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
ea5f8cfbb7ef1d19318f6994c26dd73c38ffd8ddjerenkrantz @echo -n "Generating pretty/LaTeX_maps.hs ... "
ea5f8cfbb7ef1d19318f6994c26dd73c38ffd8ddjerenkrantz @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
ea5f8cfbb7ef1d19318f6994c26dd73c38ffd8ddjerenkrantz @(cd pretty >/dev/null; ../utils/genItCorrections \
4567cfc6a65328bd3e8dd2b758ca926b389c7058brianp @echo "ready"
4567cfc6a65328bd3e8dd2b758ca926b389c7058brianp @echo "please copy the file manually to Common"
2f408250e9111c4b85b2b4b9b8836e83987efdefstoddard $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
47fe07199bddec6124ab7251c6be5c6c9ac00485jerenkrantz### removes all *.o, *.hi and *.p_o files in all subdirectories
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantz find . -name \*.o -o -name \*.hi -o -name \*.p_o \
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantz -o -name \*.exe -o -name \*.exe.manifest | xargs $(RM)
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantz### remove binaries
13cb3ceccbefd170673ec7059a1f84c3aac9301djorton### additionally removes the library files
13cb3ceccbefd170673ec7059a1f84c3aac9301djorton### clean user packages
1ed67ffc7376e930b17cefcaf3b8fbe8c9d02fe3erikabele### additionally removes generated files not in the CVS tree
1ed67ffc7376e930b17cefcaf3b8fbe8c9d02fe3erikabele $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
db913c8820608d6d525290ad407678e476aed0b4bnicholes $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
db913c8820608d6d525290ad407678e476aed0b4bnicholes $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
db913c8820608d6d525290ad407678e476aed0b4bnicholes### interactive
db913c8820608d6d525290ad407678e476aed0b4bnicholes### Kif parser
87093daecb1e5ed178d1fa9773d2d7ffe8c96329jorton### Annos parser
87093daecb1e5ed178d1fa9773d2d7ffe8c96329jorton### CASL parser
87093daecb1e5ed178d1fa9773d2d7ffe8c96329jorton### HasCASL parser
87093daecb1e5ed178d1fa9773d2d7ffe8c96329jorton### Haskell analysis
6ce789f46b020038831a8bc8def2bbd039471eccminfrin### Haskell to Isabelle-HOLCF translation
1aeb17f23e558c7fc587ef2f232025071d28ce2bminfrinHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
233a7697bd6064885197c568fe5a6aa4bafa1558minfrin### HasCASL to Haskell translation
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrin### test program to check the known provers
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrin### run tests in other directories
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrin## Preparing the version of Hets
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrin## two hardcoded dependencies for a correct generation of Version.hs
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrinDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrin## two dependencies for avoidence of circular prerequisites
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrinCASL_DEPENDENT_BINARIES= hets CASL/capa CASL/fromKif \
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrin Common/annos Common/test_parser Comorphisms/test/showKP \
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrin CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
2afded63386f82778457d31bf2d5fbea4f3e2ab0minfrin$(CASL_DEPENDENT_BINARIES): $(sources) $(derived_sources)
95502b537c0cd0cef69b85cea6b5ce3785949d65bnicholes#? CASL_DL/Logic_CASL_DL.hs: CASL_DL/PredefinedSign.hs
95502b537c0cd0cef69b85cea6b5ce3785949d65bnicholes## suffix rules
a57463e9530d71befcc34dc69b999fa88c38b14fstoddard## rule for GHC
90692b194d8545ef6d0659e2a5e555b07a826203stoddard## rule for HAPPY
3a47088a3cd486d3639763ef940e298bb75726b1jorton echo "{-# OPTIONS -w #-}" > $@
3a47088a3cd486d3639763ef940e298bb75726b1jorton## rule for DrIFT
fda9724d890bc5d8d39e42b6baa6847623a319f8geoff## rule for inlineAxioms
a13cde9773cabe1c57cf5871afdfcca265b4fb2ftrawick## rule for cpp and haddock
1f729c89340144196af6120eb6be0d9704effd86stoddard -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
50b887f89293bb12f156cb5b768ff3834c6c0ecdtrawick## compiling rules for object and interface files
22fc5d45d68b6bb99dfe77ffbd4248ce4a1f71b1stoddard## compiling rules for dependencies
3a47088a3cd486d3639763ef940e298bb75726b1jorton## Rule to generate hs files from glade files. Needed for GTK
3a47088a3cd486d3639763ef940e298bb75726b1jorton cat GUI/Glade/Template.append.hs | sed "s/\%s/$$b/" | \
0596b673a5841c431b8f4c5de1f351cc3ae90fb9nd## generate the inline file for the predefined CASL_DL sign
0596b673a5841c431b8f4c5de1f351cc3ae90fb9nd CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
0596b673a5841c431b8f4c5de1f351cc3ae90fb9nd utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
0596b673a5841c431b8f4c5de1f351cc3ae90fb9nd echo " )" >> $@
0596b673a5841c431b8f4c5de1f351cc3ae90fb9nd# Warning: Don't change the order of the depencies!!
0596b673a5841c431b8f4c5de1f351cc3ae90fb9ndCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
2b436143f38de8b0239c1371594fe129030a08cbstoddard## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
a4f89d40fa1b708cdffaf99f3f1e15beaf243367jorton# uses intransparently utils/outlineAxioms
a4f89d40fa1b708cdffaf99f3f1e15beaf243367jortonModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
a4f89d40fa1b708cdffaf99f3f1e15beaf243367jorton# directory for installers
a4f89d40fa1b708cdffaf99f3f1e15beaf243367jorton# or `date +%F`
807d7e34c8631e4dcc9aab53d2e5867c325c4effnd# prepare installer creation
807d7e34c8631e4dcc9aab53d2e5867c325c4effnd sed "s/^\(HETS_VERSION =\).*/\1$(HETS_VERSION)/" Makefile.installer \
8df1d6d36f53225e62a767e255db91df7182a242jerenkrantz @echo " -> make"
8df1d6d36f53225e62a767e255db91df7182a242jerenkrantz# check out java parts for OWL