Makefile revision 03f242dcc84c327431783cf8694f8682f927ac85
98f81eac9530d487f05013cda9df99755bb59689trawick# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
98f81eac9530d487f05013cda9df99755bb59689trawick# Year: 2004
0b493ad526b8bbc2ff21ce19510fc32238abb816jwoolley# This Makefile will compile the new hets system and provides also
0b493ad526b8bbc2ff21ce19510fc32238abb816jwoolley# targets for test programs during implementation phases.
1376737cb6afa24d3e12f3a223318fe1bd71bb1fslive# !!! Note: This makefile is written for GNU make !!!
1376737cb6afa24d3e12f3a223318fe1bd71bb1fslive# (gmake on solaris)
ec1719a5748717f67dcd279bb64bd0da424ae450jerenkrantz####################################################################
ec1719a5748717f67dcd279bb64bd0da424ae450jerenkrantz## Some varibles, which control the compilation
3f0220bf6e864d982a10348c9cc269bfe798d65eaaronCLEAN_PATH = . hxt/Data hxt/Text/XML/HXT/DOM hxt/Text/XML/HXT/Parser \
3f0220bf6e864d982a10348c9cc269bfe798d65eaaron utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
3f0220bf6e864d982a10348c9cc269bfe798d65eaaron Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
75d133afee2e3636b07366fd62102b13b67b1b1djerenkrantz CspCASL ATC ToHaskell Proofs Comorphisms Isabelle Driver \
2ae7ad6f58b7e3188ed4bd375a8930808529ba71jwoolley# the 'replacing spaces' example was taken from the (GNU) Make info manual
5b30f835d627766b024500189c35bb55e686e890brianp## set ghc imports properly for your system
5b30f835d627766b024500189c35bb55e686e890brianp# import directories for ghc-5.04.2
d45481dadf7f1f0ffd95b38b1c5b0ea6b2d57888jerenkrantzGHC5 = $(GHC_IMPORTS)/base:$(GHC_IMPORTS)/haskell98
d45481dadf7f1f0ffd95b38b1c5b0ea6b2d57888jerenkrantz DERIVEPATH=.:ghc:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
0c7592379b55b7736dd70d2d87f53af9a2347614jerenkrantz# override on commandline for other architectures
6d62bc22f8f22a43e66e2e4d8860a5a144316b1astoddard /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
8efcf516f2b6514879fff8d034be55b6d64ff830strikerGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps) Common/Utils.hs
71eda8b1c14e4d0adb2f294f22299587cd3d74a9strikerINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
71eda8b1c14e4d0adb2f294f22299587cd3d74a9striker Common/Lib/Pretty.hs Common/Keywords.hs Common/Lib/Set.hs \
922c0ad0014590bb10d13674012683eef44c0bbarederpj Common/Lib/Map.hs Common/Lib/Rel.hs Common/Lib/State.hs Common/Id.hs \
922c0ad0014590bb10d13674012683eef44c0bbarederpj Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs CASL/ShowMixfix.hs \
922c0ad0014590bb10d13674012683eef44c0bbarederpj CASL/Utils.hs Common/Lexer.hs Common/Token.hs Common/Anno_Parser.hs \
aec964227053fab7e59deb26709b94726ce67224rederpj Common/Print_AS_Annotation.hs Common/PPUtils.hs CASL/LiteralFuns.hs \
aec964227053fab7e59deb26709b94726ce67224rederpj CASL/Print_AS_Basic.hs Common/AnnoState.hs CASL/Formula.hs \
8ffd5c9693162130d35be41953f0dd3bba18edf7rederpj CASL/OpItem.hs CASL/SortItem.hs CASL/Inject.hs Common/Result.hs \
aec964227053fab7e59deb26709b94726ce67224rederpj Common/ConvertLiteral.hs Common/Earley.hs CASL/MixfixParser.hs \
1e27f530f81c6058d1a11944ae1e2da45977fc7bjerenkrantz CASL/Parse_AS_Basic.hs CASL/Sign.hs CASL/Overload.hs \
1e27f530f81c6058d1a11944ae1e2da45977fc7bjerenkrantz CASL/StaticAna.hs Modal/AS_Modal.hs Modal/Parse_AS.hs \
1e27f530f81c6058d1a11944ae1e2da45977fc7bjerenkrantz Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
7a9f3bef545b0bbc93c2ed758119b0d2e2647c31trawickGENRULECALL = $(GENRULES) -r ShATermConvertible -i Common.ATerm.Lib
223b367115aefc20f1c32fe2d4e2bfcc4bfe108fjwoolley# remove -fno-warn-orphans for older ghcs
223b367115aefc20f1c32fe2d4e2bfcc4bfe108fjwoolley $(HC_WARN) -fglasgow-exts -fno-monomorphism-restriction \
639cf068707865a81ad2c610e72d57b043d20dd6wrowe -fallow-overlapping-instances -fallow-undecidable-instances
639cf068707865a81ad2c610e72d57b043d20dd6wrowe# -ddump-minimal-imports
639cf068707865a81ad2c610e72d57b043d20dd6wrowe# flags also come in via ../uni/uni-package.conf
639cf068707865a81ad2c610e72d57b043d20dd6wrowe# but added it here in case of compilation without uni
33b095d35c5dac22358ce63c32635ab59ce7cb25aaronlogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SPASS OWL_DL
33b095d35c5dac22358ce63c32635ab59ce7cb25aaronHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
100e6f5dec61d108494565f8f3bfa894afadc33ajerenkrantz# some modules from uni for haddock
100e6f5dec61d108494565f8f3bfa894afadc33ajerenkrantz# if uni/server is included also HaXml sources are needed
5d5d5ca04c57c7ab865924f4648e8f80de27adfebrianpuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
4f3ec2ec53c7ca5ca308d85e2e0beb933a2fd0f9aaronuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
3c0c3ae288166a8736593093c636768702abf263aaron### list of directories to run checks in
c8411888a54dd5dbfd8a5d337ebf0e911a789063trawickPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
c8411888a54dd5dbfd8a5d337ebf0e911a789063trawick base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
c8411888a54dd5dbfd8a5d337ebf0e911a789063trawick base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
28caffb98f18c0b9562ac20870f7ab91f3d9a01fjerenkrantz base/transforms base/transforms/Deriving property \
28caffb98f18c0b9562ac20870f7ab91f3d9a01fjerenkrantz property/syntax property/AST property/transforms \
28caffb98f18c0b9562ac20870f7ab91f3d9a01fjerenkrantz property/TI property/defs property/parse2 property/parse2/Parser
d757628a07145aa711ba75b4e7c7c01a33133ca1jerenkrantzPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
d757628a07145aa711ba75b4e7c7c01a33133ca1jerenkrantzpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
1585c2979d749ee71edb6a1d57bc9ff6db12a426jerenkrantzPFE_FLAGS = -package data -package text $(PFE_PATH) -DPROGRAMATICA
1585c2979d749ee71edb6a1d57bc9ff6db12a426jerenkrantzhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
c069757188a3cd9ab19b05169b005a824b60b6fcaaron echo "{-# OPTIONS -w #-}" > $@
11ce97701b22d795fd1a5ec3769a3367bc220921wrowe$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
c5fb76caa5498c60b991fcba8dfbf3c229f0f4d5rbbderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
b9cf7102006ac2ccfebcb78174585986ff127ba9jwoolley## rule for appendHaskellPreludeString
b9cf7102006ac2ccfebcb78174585986ff127ba9jwoolleyHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
2b13bc45632d72cdf50ac42149e4fc8bc0d05bf2stoddardAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
2b13bc45632d72cdf50ac42149e4fc8bc0d05bf2stoddard HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
2b13bc45632d72cdf50ac42149e4fc8bc0d05bf2stoddardOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
52617e76a53b1d90da027a5311790e1ccef8f60ftrawick base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
b584ec31a47334b1253f4a5ad73f023336ab2f28jwoolley $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
52617e76a53b1d90da027a5311790e1ccef8f60ftrawick## rule for ATC generation
52617e76a53b1d90da027a5311790e1ccef8f60ftrawickHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
f905b21d99b264dbf26acc30b430ebe92838cdcejerenkrantz $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
dc903d97a896d4e414efb1cb49f22ce00a49f070trawick### Profiling (only for debugging)
dc903d97a896d4e414efb1cb49f22ce00a49f070trawick### Attention every module must be compiled with profiling or the linker
dc903d97a896d4e414efb1cb49f22ce00a49f070trawick### cannot link the various .o files properly. So after switching on
dc903d97a896d4e414efb1cb49f22ce00a49f070trawick### Profiling, do an 'gmake real_clean; gmake'
dc903d97a896d4e414efb1cb49f22ce00a49f070trawick### Comment in the following line for switching on profiling.
dc903d97a896d4e414efb1cb49f22ce00a49f070trawick#HC_PROF = -prof -auto-all
68f803c489cf61918fb4e61745fcd1e0cc980541jerenkrantzHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS) $(HC_PROF) \
15405e91bb3fad5a80f7abe828a00b44a3a65bf8jerenkrantz####################################################################
15405e91bb3fad5a80f7abe828a00b44a3a65bf8jerenkrantz## sources for hets
f905b21d99b264dbf26acc30b430ebe92838cdcejerenkrantznon_sources = Common/LaTeX_maps.svmono.hs CspCASL/Main.hs \
f905b21d99b264dbf26acc30b430ebe92838cdcejerenkrantz Common/CaslLanguage.hs ./Test.hs Static/LogicStructured.hs
5d238058bc748dfa13ff21890ae4a58481e3be89jerenkrantzdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
5d238058bc748dfa13ff21890ae4a58481e3be89jerenkrantz Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
9282327b0ffe8981d39835130dfb334af192b508jerenkrantz Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
8fcaadcb287f361bb304d53a69d508500840fafcjerenkrantz Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
8fcaadcb287f361bb304d53a69d508500840fafcjerenkrantz Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
8af88bd6958b80c224e964892b8237720b13ab1ajerenkrantz ATC/$(basename $(basename $(notdir $(file)))).der.hs)
25b812bcab8b61981e288996b991e0ab4d224b92jerenkrantzATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
87f0329e30de94828e08d53a99ea23cda86a9fccjerenkrantzATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
87f0329e30de94828e08d53a99ea23cda86a9fccjerenkrantz $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
0396e75f271f51be57be778655e32ba8d64d240bwroweATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
0396e75f271f51be57be778655e32ba8d64d240bwroweATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
dc10f7a2f87d4cd7cdd16dc248b165122b4ac62btrawickATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
390489eb69fe15943ddf67adcc832ca8de125cd9jerenkrantz $(GENRULECALL) -x ProverTemplate -i ATC.AS_Annotation -o $@ $<
390489eb69fe15943ddf67adcc832ca8de125cd9jerenkrantzCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
a1e8b54f269a8f2388590174174509546e886e60stoddardHasCASL_files = HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
109d280c3fcf810e573fc1af5e141ad525c45811bjhCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs CoCASL/Sublogic.hs
61d2cd001754548e90364aa3a7e76863616544b0minfrinCspCASL_files = CspCASL/AS_CSP_CASL.hs CspCASL/SignCSP.hs
61d2cd001754548e90364aa3a7e76863616544b0minfrinCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs
9a3bbca61e24c13d8b496116ac759117136c6bf4aaronatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
64c351fd973428b5bb4c28e983fa86875ea4e60fdougmgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
64c351fd973428b5bb4c28e983fa86875ea4e60fdougmgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
0506359f47150991eaaae37ca07f94117a9aa63dtrawickinline_axiom_files = Comorphisms/CASL2PCFOL.hs Comorphisms/PCFOL2CFOL.hs \
0506359f47150991eaaae37ca07f94117a9aa63dtrawick Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
67f62b7a48ff9eb8d9f31898dceaf9f89280a723dougmgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
9d3fdc3bb8077a46851080e17ef9f16c83720c8ftrawickderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
219472ea2d5f1563509321d8b8a91b116792bf7adougm# sources that have {-# OPTIONS -cpp #-}
c048b545f06921f53ceb830b30f99aed7b369d95dougm Isabelle/Logic_Isabelle.hs Isabelle/CreateTheories.hs \
0ea12b5dcb3d1d399f9bff6f56fb445d80205f9dstriker# unused, remove when header files are gone
a45de374fb215f294eb1369d4406ac79d6596ee1brianp $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
a45de374fb215f294eb1369d4406ac79d6596ee1brianp $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
7f14bcf6b594703df385ce84ba2ee3cdf3ccbae4trawick Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
7f14bcf6b594703df385ce84ba2ee3cdf3ccbae4trawick hxt/HXT.hs hxt/Net.hs $(patsubst %.hs, %.der.hs, $(drifted_files))
7f14bcf6b594703df385ce84ba2ee3cdf3ccbae4trawickhspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
a1be7357e2c08b9dfe52c277063d212d65b15feejim# this variable holds the modules that should be documented
a1be7357e2c08b9dfe52c277063d212d65b15feejimdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
a1be7357e2c08b9dfe52c277063d212d65b15feejimtax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
51c0f0fe0a49a180389009442a83f74b1916f96atrawick####################################################################
51c0f0fe0a49a180389009442a83f74b1916f96atrawick.PHONY : all hets-opt hets-optimized clean d_clean real_clean bin_clean \
51c0f0fe0a49a180389009442a83f74b1916f96atrawick lib_clean distclean check capa hacapa h2h clean_genRules genRules \
ecb511c254d5affe7cc018482d53c19aaf145878jerenkrantz.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
c5fdaba2e790a0a351d796b5fe3dcfb585be1ba2jim ghc --make -package WASH GUI/hets_cgi.hs -o $@ $(HC_INCLUDE) \
2fc50921b88defeb7127985dfe4b4130175e069ejwoolley $(HC) --make -o Taxonomy/taxonomyTool $< -ifgl $(HC_OPTS)
2fc50921b88defeb7127985dfe4b4130175e069ejwoolley###############################
47638f4a67ce38e5a83e7a303d6f2d5c9ff47b4ebrianp### TAGS files for (x)emacs
47638f4a67ce38e5a83e7a303d6f2d5c9ff47b4ebrianp# load them with "M-x" "visit-tags-table" from
82630c4a04be47f39298d3284b2c596244fb509bbrianp# use "M-." to search for a tag
82630c4a04be47f39298d3284b2c596244fb509bbrianp# !!Beware this is somewhat instable, because it uses an absolute path!!
35d682920b0b7073bb9ff8c8794f0f73e3ee1a47slive /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
a2d4f1da4e19836b2d6a673f80f33381a926a8bddougm @echo 'File : Maintainer' > $@
30b4a330a5f651eb5198fa93dbb9f3d3594564c9stoddard 'foreach my $$f (@ARGV) { open I, "<$$f"; \
30b4a330a5f651eb5198fa93dbb9f3d3594564c9stoddard print "$$f :"; while (<I>) \
30b4a330a5f651eb5198fa93dbb9f3d3594564c9stoddard { if(m,^\s*Maintainer\s*:\s*(.*)$$,o) { \
17895aa4b66b8af02d8788b15cb92e1f6a8ecafcwrowe print " $$1" ; last} }; print "\n"; close I; }' \
983988ac7b8faaf037f4df0ab29729cd047a3ffdtrawick @echo " done"
7a64b871b8b5e5a427b570e90f0e38e88266c783jim###############################
7a64b871b8b5e5a427b570e90f0e38e88266c783jim### count lines of code
a736bac16e58d5e96945f35ee3c43a2cd2f5d37ejerenkrantz###############################
a736bac16e58d5e96945f35ee3c43a2cd2f5d37ejerenkrantz### Documentation via haddock
797d596a95d4f9900e83ec18295b4ca4951bf763jerenkrantz# generate haddock documentation with links to sources
797d596a95d4f9900e83ec18295b4ca4951bf763jerenkrantz# the interface treatment is stolen from uni/mk/suffix.mk
9d432e23f6025b78322cbee43e8e89262a108e5eaaron -t 'Hets - the Heterogeneous Tool Set' \
9d432e23f6025b78322cbee43e8e89262a108e5eaaron# sources are not copied here
71f891073f6fa0209870791f64cbbf28d77ffdc1brianp###############################
2864362ca8266097928e84f101010bdf814ffa08stoddard### release management
f51dbb1f5b66d94b5c190bfcd444aa73bdc2b176trawick (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
e2bdfd25d9d0461e0a3ab18ceff2113215e3e115brianp# "hssource" for ghc-5.04.2
b9fe73991e7c592a634242a7e11f924689f58e1fgstein $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
d9fcdb415d8661cbd9451df8f88e003a1aa04ce9trawick cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository\
b5033962c73a470b6f36a3ac796c542a6ab4ddf6brianp if [ -d ../programatica ] ; then \
d75626f0952c6152a99acd013a4f127d46f0f9edtrawick find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
ab2053f3cdda69cfa5e4ce0800ea7af203cc6d5ddougm cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
88ecd979f1112454432371f55a1420240fae3743trawick ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
548e06e26f5377b2efbb7e0dab20f536e5e24160trawick#############################
c02a689f2274966ed5d1c16207f74b5128c35c86trawick### ATC DrIFT-rule generation
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CASL_files)
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddardHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HasCASL_files)
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddardIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
94f4821a5444a4fe782f772aef5db4d8b839675djerenkrantz $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
94f4821a5444a4fe782f772aef5db4d8b839675djerenkrantzCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
2a49e30bae376c9744b96c8681ab88122ccaa46cjerenkrantz $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
2a49e30bae376c9744b96c8681ab88122ccaa46cjerenkrantz $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrinCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SPASS_files)
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrinOWL_DL/ATC_OWL_DL.der.hs: $(OWL_DL_files) $(GENRULES)
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin $(GENRULECALL) -i ATC.AS_Annotation -i OWL_DL.ReadWrite \
c49200a2bdbb8fa1f2e5c3b87cc497ecdeefa8feminfrin $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
103005439776bb7aeccb95ebf4761ebfef3f9c39ianh###############
103005439776bb7aeccb95ebf4761ebfef3f9c39ianh### clean up
92d311b27a6182c2eed67317990c8c168584ee75trawick### removes *.hi and *.o in all include directories
6f0dd808a674b7c09a625b36f320030f4e339f8faaron### remove binaries
01e8aca9299a0b872414c24c8b7724d6f88ae665ianh### additionally removes the library files
f783dff0c8b69344a6b67e97f16b91f8b0790799dougm### additionally removes generated files not in the CVS tree
6362515725d2b6d66ac3b26531f8c53ac75f8c20wrowe####################################################################
f783dff0c8b69344a6b67e97f16b91f8b0790799dougm### test targets
6362515725d2b6d66ac3b26531f8c53ac75f8c20wrowe####################################################################
98ae9b96926a3dd99b195d7628c7e527e720f6acaaron### a parser to test annotation parser and Id parsers
98ae9b96926a3dd99b195d7628c7e527e720f6acaaronCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
98ae9b96926a3dd99b195d7628c7e527e720f6acaaron### interactive
9379749d811388a7d0e3410940ddd6743a33d330jim### christian's target
9379749d811388a7d0e3410940ddd6743a33d330jim### CASL parser
b8c2b4dfc363e33a8a1c2464802c3fb05cab86bbwrowe### HasCASL parser
83d91d60d00dc345bfbcbc48ff206db4a6b23b2eaaronHasCASL/hacapa: HasCASL/hacapa.hs Common/*.hs HasCASL/*.hs
83d91d60d00dc345bfbcbc48ff206db4a6b23b2eaaron### Haskell analysis
c10fe96ac7d024918e26af6c8ba5470273b75bb2jwoolleyHaskell/hana: Haskell/hana.hs Haskell/HatAna.hs Haskell/PreludeString.hs
83ca150ef902e9692972aa923e893bc6406d20f1ianh### Haskell to Isabelle-HOLCF translation
7a8a0744e378f2343c3ee6787fac0f8f959d2141brianpToHaskell/h2hf: ToHaskell/h2hf.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs Isabelle/*.hs Common/*.hs
7a8a0744e378f2343c3ee6787fac0f8f959d2141brianp### HasCASL to Haskell translation
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wroweToHaskell/h2h: ToHaskell/h2h.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe### HetCASL parser
73cba74a34576f7ece4bd98fd58c8a932a178e6daaron### HetCASL parser
73cba74a34576f7ece4bd98fd58c8a932a178e6daaron### ATC test system
29c30db45f6a469017e16b606611e460cc1a1f2caaronatctest2: ATC/ATCTest2.hs Common/SimpPretty.hs Common/ATerm/*.hs \
095071bbd0b3ccccd6883edc7cd10f13cac71160ianh### ATerm.Lib test system
a322a82f79b790fb7ddcd7df4459d20725450fa7trawickatermlibtest: Common/ATerm/ATermLibTest.hs Common/SimpPretty.hs \
21644b4d1b09d0531911a8c9a891819a261480f8minfrinhatermdiff: Common/ATerm/ATermDiffMain.hs Common/SimpPretty.hs \
21644b4d1b09d0531911a8c9a891819a261480f8minfrin### OWL_DL test target
21644b4d1b09d0531911a8c9a891819a261480f8minfrinOWL_DL/readAStest: OWL_DL/ToHaskellAS.hs Common/ATerm/*.hs \
21644b4d1b09d0531911a8c9a891819a261480f8minfrin### HetCASL with dev graph
cbfbf9598d686b11afc7a9f9d91a8facfdfa7216trawick### run tests in other directories
fe808620434aa59b796e8b60cd6eec65a32dfc2dstoddard####################################################################
e37c657172940f82d9b28a45fc1304140eb0b1d7stoddard## Preparing the version of HetCATS
5f08a022a210f4e511561e89f500621a15e6177dtrawick $(PERL) utils/build_version.pl version_nr < Driver/Version.in > $@
d4fcf63a5d9171d50c0d04e05a35ec6bf1f85100jerenkrantz## two hardcoded dependencies for a correct generation of Version.hs
d4fcf63a5d9171d50c0d04e05a35ec6bf1f85100jerenkrantzDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
dee6a8bde4d598087dc4b3ebf3d4dd06809d2dd7jerenkrantz####################################################################
dee6a8bde4d598087dc4b3ebf3d4dd06809d2dd7jerenkrantz## rules for DrIFT
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz echo "{-# OPTIONS -w #-}" > $@
d0e4ca9bfd8bf44bea574733965851bfee939d95aaron ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $(DRIFT_OPTS) $< > $@)
d0e4ca9bfd8bf44bea574733965851bfee939d95aaron## rules for inlineAxioms
a4b3fb28f3d2e0983b15b4c6828c6980f2fc9b15jerenkrantz## rule for cpp and haddock
e54b09d79ca9bc18ea5ae33367fd907473621dcejerenkrantz## compiling rules for object and interface files
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz## compiling rules for dependencies
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz# uses intransparently utils/outlineAxioms