Makefile revision 3dde4051c307b609159a097f08a05108fdd036ef
d5b7ba26785d7494166d48876362ba30ff30b98awrowe# Makefile
c30ef289fe64ac7fedc44cfcc6b439f0f8458b4cgregames# $Id$
c30ef289fe64ac7fedc44cfcc6b439f0f8458b4cgregames# Author: (c) Klaus Luettich, Christian Maeder, Uni Bremen 2002-2009
5541a81e194dc99521c0ecf904a940b0b65a93f2nd
5c4e29c5f77fbc967d78886ab378b9500267b0fbtrawick# This Makefile will compile the hets system and provides also
5c4e29c5f77fbc967d78886ab378b9500267b0fbtrawick# targets for test programs during implementation phases.
5c4e29c5f77fbc967d78886ab378b9500267b0fbtrawick
60f9b4ee2002436dbcb0bf33d4d76abc4b1a0d7dtrawick# !!! Note: This makefile is written for GNU make !!!
60f9b4ee2002436dbcb0bf33d4d76abc4b1a0d7dtrawick# (gmake on solaris)
60f9b4ee2002436dbcb0bf33d4d76abc4b1a0d7dtrawick
cda7c69f374fb272aaf10ca80c63b0700b61a509rederpjall: hets
cda7c69f374fb272aaf10ca80c63b0700b61a509rederpj
cda7c69f374fb272aaf10ca80c63b0700b61a509rederpjinclude var.mk
f8dd393b2c60c61282a46c51f82fdb9b89cd9aferederpj
f8dd393b2c60c61282a46c51f82fdb9b89cd9aferederpj# the 'replacing spaces' example was taken from the (GNU) Make info manual
f8dd393b2c60c61282a46c51f82fdb9b89cd9aferederpjempty =
f8dd393b2c60c61282a46c51f82fdb9b89cd9aferederpjspace = $(empty) $(empty)
f8dd393b2c60c61282a46c51f82fdb9b89cd9aferederpj
f8dd393b2c60c61282a46c51f82fdb9b89cd9aferederpjDRIFT_ENV = DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
1fbf6ba0f5207e6637b49f9a9dfcc779bbe952a9trawick
1fbf6ba0f5207e6637b49f9a9dfcc779bbe952a9trawickDRIFT_deps = utils/DrIFT-src/*hs
922d495b709b0dc09a7d918fdf8874dc23c1aef0ndGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
922d495b709b0dc09a7d918fdf8874dc23c1aef0ndGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
922d495b709b0dc09a7d918fdf8874dc23c1aef0nd
6c4c113ce85934b11c9e78399e1bb8ec7a568af9ndPERL = perl
6c4c113ce85934b11c9e78399e1bb8ec7a568af9ndGENRULES = utils/genRules
679cafe33462d8c6bd0a74cc4359e561d19a0aafndGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
679cafe33462d8c6bd0a74cc4359e561d19a0aafnd -i Data.Typeable -i ATerm.Lib
6c4c113ce85934b11c9e78399e1bb8ec7a568af9nd
81ef3d132c8f335006465f297c42319f8734825dndGENRULECALL2 = $(GENRULES) -r Typeable -r ShATermLG \
81ef3d132c8f335006465f297c42319f8734825dnd -i Data.Typeable -i ATerm.Lib -i ATC.Grothendieck
81ef3d132c8f335006465f297c42319f8734825dndDRIFT = utils/DrIFT
fba8c07e02a9af436c79ada0e2ba891717a9c333ndHADDOCK = haddock
fba8c07e02a9af436c79ada0e2ba891717a9c333nd
fba8c07e02a9af436c79ada0e2ba891717a9c333ndDTD2HS = utils/DtdToHaskell
925932040ee7871b6a2418edc3b4b6f4378bbe2andifneq ($(strip $(HAXML_PACKAGE_COMPAT)),)
925932040ee7871b6a2418edc3b4b6f4378bbe2andDTD2HS_src = utils/DtdToHaskell-src/pre-1.22/
925932040ee7871b6a2418edc3b4b6f4378bbe2andelse
73291de2e17c97d3549f2f8aa085ca43d27e108andDTD2HS_src = utils/DtdToHaskell-src/current/
73291de2e17c97d3549f2f8aa085ca43d27e108andendif
73291de2e17c97d3549f2f8aa085ca43d27e108and
73291de2e17c97d3549f2f8aa085ca43d27e108andifneq ($(strip $(HAXML_PACKAGE)),)
3caed8f01e7d67f3ad5d47cb28bb4e43131652fdjerenkrantzderived_sources += Isabelle/IsaExport.hs
3caed8f01e7d67f3ad5d47cb28bb4e43131652fdjerenkrantzendif
3caed8f01e7d67f3ad5d47cb28bb4e43131652fdjerenkrantz
238e707c9022eaa8332a702dd6913dd0d1fb3df8jerenkrantzDTD2HS_deps = $(DTD2HS_src)*hs
238e707c9022eaa8332a702dd6913dd0d1fb3df8jerenkrantz
3caed8f01e7d67f3ad5d47cb28bb4e43131652fdjerenkrantz
e127d82e8afc2f885fe2183b68d4a110580d21dfjwoolley# list glade files
e127d82e8afc2f885fe2183b68d4a110580d21dfjwoolleyGTK_GLADE_FILES = $(wildcard GUI/Glade/*.glade)
e127d82e8afc2f885fe2183b68d4a110580d21dfjwoolleyGTK_GLADE_HSFILES = $(subst .glade,.hs,$(GTK_GLADE_FILES))
e127d82e8afc2f885fe2183b68d4a110580d21dfjwoolley
5b953b9aeef5b38cae481e062a7b5ac209a6170endderived_sources += $(GTK_GLADE_HSFILES)
5b953b9aeef5b38cae481e062a7b5ac209a6170end
5b953b9aeef5b38cae481e062a7b5ac209a6170end# the list of logics that need ShATermConvertible instances
5b953b9aeef5b38cae481e062a7b5ac209a6170endlogics = CASL HasCASL Isabelle Modal Temporal CoCASL COL CspCASL CASL_DL \
fd99717a52886f7d9f9f73be2080d3fdc2ec4bd6nd SoftFOL ConstraintCASL Propositional RelationalScheme VSE OMDoc DFOL \
fd99717a52886f7d9f9f73be2080d3fdc2ec4bd6nd LF Framework Maude ExtModal CommonLogic CSL QBF Adl HolLight Fpl THF \
fd99717a52886f7d9f9f73be2080d3fdc2ec4bd6nd FreeCAD OWL2
5c76205ce580dbac0020fbba74bcf211de3923d3nd
5c76205ce580dbac0020fbba74bcf211de3923d3ndTESTTARGETFILES += Scratch.hs CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
5c76205ce580dbac0020fbba74bcf211de3923d3nd Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
5c76205ce580dbac0020fbba74bcf211de3923d3nd ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
5fb2e8564729922524cd011b11e2d4f5d76f5a8dnd Common/ATerm/ATermDiffMain.hs Common/annos.hs \
5fb2e8564729922524cd011b11e2d4f5d76f5a8dnd SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
5fb2e8564729922524cd011b11e2d4f5d76f5a8dnd Comorphisms/test/sublogicGraph.hs PGIP/ParseProofScript.hs \
987c2c2ff2f19f306357f79d3280b347d96c470fnd Common/testxupdate.hs Common/testxpath.hs \
987c2c2ff2f19f306357f79d3280b347d96c470fnd SoftFOL/dfg.hs Adl/adl.hs GUI/displayDependencyGraph.hs
987c2c2ff2f19f306357f79d3280b347d96c470fnd
987c2c2ff2f19f306357f79d3280b347d96c470fnd### list of directories to run checks in
99c475e760470ab8ca3d17da82a2f6158466f918rederpjTESTDIRS += Common CASL Fpl/test HasCASL test ExtModal/Tries \
99c475e760470ab8ca3d17da82a2f6158466f918rederpj CommonLogic/TestData
99c475e760470ab8ca3d17da82a2f6158466f918rederpj
99c475e760470ab8ca3d17da82a2f6158466f918rederpjhs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
c2d16e88f6a997b9174b5596db5e03cee5f46a8brederpj Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
c2d16e88f6a997b9174b5596db5e03cee5f46a8brederpj
7edcfe02796a70f2a5eac12b6766d11067c629a3rederpjPFE_TOOLDIR = $(wildcard programatica/tools)
c2d16e88f6a997b9174b5596db5e03cee5f46a8brederpjifneq ($(strip $(PFE_TOOLDIR)),)
c2d16e88f6a997b9174b5596db5e03cee5f46a8brederpjPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
c2d16e88f6a997b9174b5596db5e03cee5f46a8brederpj base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
a4dd3688dd6645faf0c1c1bfb22017c8f03d5b24nd base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
a4dd3688dd6645faf0c1c1bfb22017c8f03d5b24nd base/transforms base/transforms/Deriving property \
a4dd3688dd6645faf0c1c1bfb22017c8f03d5b24nd property/syntax property/AST property/transforms \
f2fe083bb9fabd2af7eb39d4f154f27a451bb5a4nd property/TI property/defs property/parse2 property/parse2/Parser
f2fe083bb9fabd2af7eb39d4f154f27a451bb5a4nd
f2fe083bb9fabd2af7eb39d4f154f27a451bb5a4ndPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
f2fe083bb9fabd2af7eb39d4f154f27a451bb5a4nd
7de6cb79f71a9007ba2b1e786cbad8b84f05d101ndlogics += Haskell
7de6cb79f71a9007ba2b1e786cbad8b84f05d101ndderived_sources += Haskell/PreludeString.hs
7de6cb79f71a9007ba2b1e786cbad8b84f05d101nd
7de6cb79f71a9007ba2b1e786cbad8b84f05d101ndAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
aa9b03a5f32732c0caaef03a7ed78ffb290e29e4trawick Haskell/ProgramaticaPrelude.hs
aa9b03a5f32732c0caaef03a7ed78ffb290e29e4trawick
aa9b03a5f32732c0caaef03a7ed78ffb290e29e4trawick## rule for appendHaskellPreludeString
d1c46782edbd6bd5ae4592c0174969950c5ca8aetrawickHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
d1c46782edbd6bd5ae4592c0174969950c5ca8aetrawick $(APPENDPRELUDESTRING)
d1c46782edbd6bd5ae4592c0174969950c5ca8aetrawick $(RM) $@
ab56518227d474ee08f039e4c5540011c1b8a913trawick $(APPENDPRELUDESTRING) < $< > $@
ab56518227d474ee08f039e4c5540011c1b8a913trawick chmod 444 $@
ab56518227d474ee08f039e4c5540011c1b8a913trawick
4e330708371c3e9b04d1043f0a1ac9368bfbd768coarAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
4e330708371c3e9b04d1043f0a1ac9368bfbd768coar HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
4e330708371c3e9b04d1043f0a1ac9368bfbd768coar HsModule HsName HsLiteral HsIdent
dbb916b882c33a4e340b0dba7d75506cfdd85640trawick
dbb916b882c33a4e340b0dba7d75506cfdd85640trawick#files in base/TI/
dbb916b882c33a4e340b0dba7d75506cfdd85640trawick#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
dbb916b882c33a4e340b0dba7d75506cfdd85640trawick
dbb916b882c33a4e340b0dba7d75506cfdd85640trawick#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
a18a308d7a942230edcde1bf00d7ae9b4b143c90trawick
a18a308d7a942230edcde1bf00d7ae9b4b143c90trawickOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
a18a308d7a942230edcde1bf00d7ae9b4b143c90trawick base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
9efe68be3c81ee85225972195fb725dbfc2e8b24trawick base/parse2/SourceNames base/syntax/SyntaxRec \
9098f795fab5db41a52b6b82fa475e8f9b3850f0trawick property/syntax/PropSyntaxStruct
9098f795fab5db41a52b6b82fa475e8f9b3850f0trawick
9098f795fab5db41a52b6b82fa475e8f9b3850f0trawickHaskell_files = $(addsuffix .hs, \
9efe68be3c81ee85225972195fb725dbfc2e8b24trawick $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
3b872593fd5f61981d9dd69a4b0b5d5f5f668929trawick $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
3b872593fd5f61981d9dd69a4b0b5d5f5f668929trawick
3b872593fd5f61981d9dd69a4b0b5d5f5f668929trawick## rule for ATC generation
fc25339741311efd7d460f18b6287ef38d76bbe6madhumHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
fc25339741311efd7d460f18b6287ef38d76bbe6madhum $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
fc25339741311efd7d460f18b6287ef38d76bbe6madhum
fc25339741311efd7d460f18b6287ef38d76bbe6madhumhs_der_files += $(hs_clean_files)
fcdca175a52fe517f2317ba0e2b6e6d14522b869madhum
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantzTESTDIRS += ToHaskell
92a2439559cf1161742650ed9c50c6483bd029cemadhumTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
92a2439559cf1161742650ed9c50c6483bd029cemadhumelse
92a2439559cf1161742650ed9c50c6483bd029cemadhum# unset this variable from var.mk because the programatica sources
92a2439559cf1161742650ed9c50c6483bd029cemadhum# are needed to created our sources!
ebecc16986604cce1369d5075eff65032e3dd0deianhPFE_FLAGS =
0d60370bedd05f9632f54e85c417ce472d463674madhumendif
ebecc16986604cce1369d5075eff65032e3dd0deianh# end of programatica stuff
764315969cef40e50cdc6a5e9638454e10c1c06end
764315969cef40e50cdc6a5e9638454e10c1c06endTESTTARGETS = $(subst .hs,,$(TESTTARGETFILES))
764315969cef40e50cdc6a5e9638454e10c1c06end
764315969cef40e50cdc6a5e9638454e10c1c06endGHCVERSION = $(shell ghc --numeric-version)
bfb54bd96690887dcdf184fd9083c2e167898ce2ndifneq ($(findstring 12, $(GHCVERSION)),)
a2c036f0ca71e35c085b4cd9451a6d3718bc65daakeNO_BIND_WARNING = -fno-warn-unused-do-bind
a2c036f0ca71e35c085b4cd9451a6d3718bc65daakeendif
a2c036f0ca71e35c085b4cd9451a6d3718bc65daake
a2c036f0ca71e35c085b4cd9451a6d3718bc65daakeifneq ($(findstring 7, $(GHCVERSION)),)
b92cba59a0890be43b14aaf1ce30606140be9593ndNO_BIND_WARNING = -fno-warn-unused-do-bind -fno-warn-warnings-deprecations
b92cba59a0890be43b14aaf1ce30606140be9593ndendif
b92cba59a0890be43b14aaf1ce30606140be9593nd
b92cba59a0890be43b14aaf1ce30606140be9593ndHC_WARN = -Wall -fwarn-tabs \
402d23baca89e8c4fcb4e52ad8b2d66a6904baaetrawick -fwarn-unrecognised-pragmas -fno-warn-orphans $(NO_BIND_WARNING)
402d23baca89e8c4fcb4e52ad8b2d66a6904baaetrawick
402d23baca89e8c4fcb4e52ad8b2d66a6904baaetrawick# uncomment HC_PROF for profiling (and comment out packages in var.mk)
4caa28863a3418d26cc20a998dc368c3de3b7e19jerenkrantz# call resulting binary with a final +RTS -p to get a file <binary>.prof
4caa28863a3418d26cc20a998dc368c3de3b7e19jerenkrantz# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS
4caa28863a3418d26cc20a998dc368c3de3b7e19jerenkrantz
a3f2646ef3d8a3a5234a5601de0f95f10308c2a6jerenkrantzifneq ($(findstring -O, $(CFLAGS)),)
a3f2646ef3d8a3a5234a5601de0f95f10308c2a6jerenkrantzHC_DEBIAN_OPT=-O
a3f2646ef3d8a3a5234a5601de0f95f10308c2a6jerenkrantzendif
9e398d701dd430f073ff5418fb720642e064046ajerenkrantz
9e398d701dd430f073ff5418fb720642e064046ajerenkrantzHC_OPTS += $(HC_WARN) $(HC_PROF) $(HC_DEBIAN_OPT)
9e398d701dd430f073ff5418fb720642e064046ajerenkrantz# -ddump-minimal-imports
1a5b9e0071f0c662036250b482d566ad87ff0b4bjerenkrantz# uncomment the above line to generate .imports files for displayDependencyGraph
1a5b9e0071f0c662036250b482d566ad87ff0b4bjerenkrantz
1a5b9e0071f0c662036250b482d566ad87ff0b4bjerenkrantz# files generated by DriFT
a7ac9b52c3d9f7ce937f078a0d585023db626c55jerenkrantzdrifted_files = Common/AS_Annotation.hs \
a7ac9b52c3d9f7ce937f078a0d585023db626c55jerenkrantz CASL/AS_Basic_CASL.hs Modal/AS_Modal.hs \
a7ac9b52c3d9f7ce937f078a0d585023db626c55jerenkrantz Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
ba6c07204bd224fa5d4cd0e6b8bf256d6daffb74nd Propositional/AS_BASIC_Propositional.hs \
ba6c07204bd224fa5d4cd0e6b8bf256d6daffb74nd CoCASL/AS_CoCASL.hs COL/AS_COL.hs \
ba6c07204bd224fa5d4cd0e6b8bf256d6daffb74nd CASL_DL/AS_CASL_DL.hs \
db5837bbc9bef214303e755fa52122140366cb6fianh CspCASL/AS_CspCASL_Process.hs CspCASL/AS_CspCASL.hs \
db5837bbc9bef214303e755fa52122140366cb6fianh RelationalScheme/AS.hs ATC/Grothendieck.hs \
db5837bbc9bef214303e755fa52122140366cb6fianh ExtModal/AS_ExtModal.hs QBF/AS_BASIC_QBF.hs \
aac2b82fe4f1ac117e2a0702438d6615542642dand CommonLogic/AS_CommonLogic.hs Fpl/As.hs \
aac2b82fe4f1ac117e2a0702438d6615542642dand $(gendrifted_files)
aac2b82fe4f1ac117e2a0702438d6615542642dand
a793d402c74e50326a2401cfbdc562c5781948fdnd# files to extract data types from to generate ShATermConvertible instances
a793d402c74e50326a2401cfbdc562c5781948fdndatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
0a209fcb17b8c9a42a6149a1758e61cf6527d367nd Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
a793d402c74e50326a2401cfbdc562c5781948fdnd Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
99d360dcbb5ac2be27694be74cc6124dbadf3315jerenkrantz Logic/Prover.hs Common/LibName.hs Common/ExtSign.hs \
99d360dcbb5ac2be27694be74cc6124dbadf3315jerenkrantz Common/Consistency.hs Common/ProofTree.hs \
99d360dcbb5ac2be27694be74cc6124dbadf3315jerenkrantz Static/DgUtils.hs Static/XGraph.hs Static/DevGraph.hs \
3ded62d7f2c9b12616d718b8c97d3044baa9ecdbjerenkrantz Common/Id.hs Common/Result.hs Common/OrderedMap.hs \
3ded62d7f2c9b12616d718b8c97d3044baa9ecdbjerenkrantz Common/Lib/Graph.hs Common/IRI.hs
3ded62d7f2c9b12616d718b8c97d3044baa9ecdbjerenkrantz
ab8c0315521735c73ce16c8072f91e17c406ca5bnd# files generated by genRules as input for DriFT
ab8c0315521735c73ce16c8072f91e17c406ca5bndatc_der_files = $(foreach file, $(atc_files), \
ab8c0315521735c73ce16c8072f91e17c406ca5bnd ATC/$(basename $(basename $(notdir $(file)))).der.hs)
b9e99e0d3154bbebe3e1b8d11d6c15bde79510a5nd
b9e99e0d3154bbebe3e1b8d11d6c15bde79510a5nd# the rules to create ATC .der.hs file for DriFT
b9e99e0d3154bbebe3e1b8d11d6c15bde79510a5ndATC/Id.der.hs: Common/Id.hs $(GENRULES)
b9e99e0d3154bbebe3e1b8d11d6c15bde79510a5nd $(GENRULECALL) -o $@ $<
ea5f8cfbb7ef1d19318f6994c26dd73c38ffd8ddjerenkrantz
ea5f8cfbb7ef1d19318f6994c26dd73c38ffd8ddjerenkrantzATC/IRI.der.hs: Common/IRI.hs $(GENRULES)
ea5f8cfbb7ef1d19318f6994c26dd73c38ffd8ddjerenkrantz $(GENRULECALL) -i ATC.Id -o $@ $<
4567cfc6a65328bd3e8dd2b758ca926b389c7058brianp
4567cfc6a65328bd3e8dd2b758ca926b389c7058brianpATC/Result.der.hs: Common/Result.hs $(GENRULES)
4567cfc6a65328bd3e8dd2b758ca926b389c7058brianp $(GENRULECALL) -i ATC.Id -o $@ $<
4cdc5446050c19b9d519a273a129188586e8d445jerenkrantz
4cdc5446050c19b9d519a273a129188586e8d445jerenkrantzATC/OrderedMap.der.hs: Common/OrderedMap.hs $(GENRULES)
4cdc5446050c19b9d519a273a129188586e8d445jerenkrantz $(GENRULECALL) -o $@ $<
2f408250e9111c4b85b2b4b9b8836e83987efdefstoddard
2f408250e9111c4b85b2b4b9b8836e83987efdefstoddardATC/Graph.der.hs: Common/Lib/Graph.hs $(GENRULES)
2f408250e9111c4b85b2b4b9b8836e83987efdefstoddard $(GENRULECALL) -o $@ $<
2f408250e9111c4b85b2b4b9b8836e83987efdefstoddard
d5b7ba26785d7494166d48876362ba30ff30b98awroweATC/ProofTree.der.hs: Common/ProofTree.hs $(GENRULES)
47fe07199bddec6124ab7251c6be5c6c9ac00485jerenkrantz $(GENRULECALL) -o $@ $<
47fe07199bddec6124ab7251c6be5c6c9ac00485jerenkrantz
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantzATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantz $(GENRULECALL) -i ATC.IRI -i Common.ATerm.ConvInstances -o $@ $<
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantz
6646a289c2d4778c8cd43d62b5a1cc966a356f85jerenkrantzATC/Consistency.der.hs: Common/Consistency.hs $(GENRULES)
aec70520ebe1e33e0d5e83c3626649d2a41dbe68wrowe $(GENRULECALL) -x Common.Consistency.ConservativityChecker -o $@ $<
aec70520ebe1e33e0d5e83c3626649d2a41dbe68wrowe
aec70520ebe1e33e0d5e83c3626649d2a41dbe68wroweATC/LibName.der.hs: Common/LibName.hs $(GENRULES)
ad451e2e428a069086d1c18c9e3372f8846ec617wrowe $(GENRULECALL) -i ATC.Id -i Common.ATerm.ConvInstances -o $@ $<
ad451e2e428a069086d1c18c9e3372f8846ec617wrowe
ad451e2e428a069086d1c18c9e3372f8846ec617wroweATC/ExtSign.der.hs: Common/ExtSign.hs $(GENRULES)
ad451e2e428a069086d1c18c9e3372f8846ec617wrowe $(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $<
59b910556d04c82e951d6c6f7a413ab8fed21467trawick
34109fa9f1317edbc6bb7d67ff8933850668b797strikerATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
d701aa8681316e8735d511d4912eb7b9b492fb68rederpj $(GENRULECALL) -o $@ $<
d701aa8681316e8735d511d4912eb7b9b492fb68rederpj
d701aa8681316e8735d511d4912eb7b9b492fb68rederpjATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
dac743792d4e2f6824b4a5853d9f6fa98e3acfa7thommay $(GENRULECALL2) -o $@ $<
dac743792d4e2f6824b4a5853d9f6fa98e3acfa7thommay
dac743792d4e2f6824b4a5853d9f6fa98e3acfa7thommayATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
dac743792d4e2f6824b4a5853d9f6fa98e3acfa7thommay $(GENRULECALL2) -i ATC.AS_Structured -o $@ $<
dac743792d4e2f6824b4a5853d9f6fa98e3acfa7thommay
34109fa9f1317edbc6bb7d67ff8933850668b797strikerATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
34109fa9f1317edbc6bb7d67ff8933850668b797striker $(GENRULECALL2) -i ATC.AS_Architecture -i ATC.LibName -o $@ $<
34109fa9f1317edbc6bb7d67ff8933850668b797striker
2657c07d01de3105a1cf72aa3b708f2e9d8b9f08strikerATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
2657c07d01de3105a1cf72aa3b708f2e9d8b9f08striker $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Result -o $@ $<
2657c07d01de3105a1cf72aa3b708f2e9d8b9f08striker
2657c07d01de3105a1cf72aa3b708f2e9d8b9f08strikerATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
59b910556d04c82e951d6c6f7a413ab8fed21467trawick $(GENRULECALL) -x Logic.Prover.ProverTemplate \
ac22e37364071bc5160c4c1956fa64577988ce2dstriker -x Logic.Prover.ConsChecker \
ac22e37364071bc5160c4c1956fa64577988ce2dstriker -i ATC.AS_Annotation -i ATC.OrderedMap -o $@ $<
ac22e37364071bc5160c4c1956fa64577988ce2dstriker
ac22e37364071bc5160c4c1956fa64577988ce2dstrikerATC/DgUtils.der.hs: Static/DgUtils.hs $(GENRULES)
d2ca4f326388fdd19058284043d15ec0b23d0722striker $(GENRULECALL2) -i ATC.LibName -i ATC.Consistency -o $@ $<
d2ca4f326388fdd19058284043d15ec0b23d0722striker
d2ca4f326388fdd19058284043d15ec0b23d0722strikerATC/XGraph.der.hs: Static/XGraph.hs $(GENRULES)
d2ca4f326388fdd19058284043d15ec0b23d0722striker $(GENRULECALL2) -i ATC.DgUtils -o $@ $<
d2ca4f326388fdd19058284043d15ec0b23d0722striker
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick $(GENRULECALL2) -i ATC.XGraph -i ATC.AS_Library -o $@ $<
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick# ATC files for every logic
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick CASL/AS_Basic_CASL.der.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickIsabelle_files = Isabelle/IsaSign.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
ec7254c302703353d73d8d69d83cdeb0c580c8cetrawick Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
ec7254c302703353d73d8d69d83cdeb0c580c8cetrawick Propositional/Sublogic.hs
ec7254c302703353d73d8d69d83cdeb0c580c8cetrawick
ba5e097fd39f0937be37ae32d65e1d3339e07f43trawickHolLight_files = HolLight/Sentence.hs HolLight/Sign.hs \
ba5e097fd39f0937be37ae32d65e1d3339e07f43trawick HolLight/Sublogic.hs HolLight/Term.hs
ba5e097fd39f0937be37ae32d65e1d3339e07f43trawick
ba5e097fd39f0937be37ae32d65e1d3339e07f43trawickQBF_files = Propositional/Sign.hs QBF/Morphism.hs \
4c517f7e59d17e86aeb473088d254f24034b4de8trawick QBF/AS_BASIC_QBF.hs QBF/Symbol.hs \
4c517f7e59d17e86aeb473088d254f24034b4de8trawick QBF/Sublogic.hs
26280128921459eadd3f76a44aee9ba2f7f941c2trawick
26280128921459eadd3f76a44aee9ba2f7f941c2trawickRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
26280128921459eadd3f76a44aee9ba2f7f941c2trawick
26280128921459eadd3f76a44aee9ba2f7f941c2trawickModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
26280128921459eadd3f76a44aee9ba2f7f941c2trawickTemporal_files = Temporal/AS_BASIC_Temporal.hs Temporal/Sign.hs \
26280128921459eadd3f76a44aee9ba2f7f941c2trawick Temporal/Symbol.hs Temporal/Morphism.hs
26280128921459eadd3f76a44aee9ba2f7f941c2trawick
26280128921459eadd3f76a44aee9ba2f7f941c2trawickConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickCOL_files = COL/AS_COL.hs COL/COLSign.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick
dd4dfb1a26f821768f4174cf0465fee13556b68ejerenkrantzCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
dd4dfb1a26f821768f4174cf0465fee13556b68ejerenkrantz CspCASL/SignCSP.hs CspCASL/SymbItems.hs CspCASL/Symbol.hs \
dd4dfb1a26f821768f4174cf0465fee13556b68ejerenkrantz CspCASL/Morphism.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickSoftFOL_files = SoftFOL/Sign.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickVSE_files = VSE/As.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickOMDoc_files = OMDoc/OMDocInterface.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickDFOL_files = DFOL/AS_DFOL.hs DFOL/Sign.hs DFOL/Morphism.hs DFOL/Symbol.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickLF_files = LF/Sign.hs LF/Morphism.hs LF/AS.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickFramework_files = Framework/AS.hs
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawick
f2af12bd7c7b0506678b4dc981482d59e49f08d3ndMaude_files = Maude/Sign.hs Maude/Morphism.hs Maude/Sentence.hs \
f2af12bd7c7b0506678b4dc981482d59e49f08d3nd Maude/Symbol.hs Maude/AS_Maude.hs
f2af12bd7c7b0506678b4dc981482d59e49f08d3nd
f2af12bd7c7b0506678b4dc981482d59e49f08d3ndExtModal_files = ExtModal/AS_ExtModal.hs ExtModal/ExtModalSign.hs \
f2af12bd7c7b0506678b4dc981482d59e49f08d3nd ExtModal/MorphismExtension.hs
f2af12bd7c7b0506678b4dc981482d59e49f08d3nd
f2af12bd7c7b0506678b4dc981482d59e49f08d3ndCSL_files = CSL/Sign.hs CSL/Morphism.hs CSL/AS_BASIC_CSL.hs CSL/Symbol.hs \
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz CSL/TreePO.hs
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantzCommonLogic_files = CommonLogic/AS_CommonLogic.hs CommonLogic/Sign.hs \
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz CommonLogic/Symbol.hs CommonLogic/Morphism.hs CommonLogic/Sublogic.hs
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantzAdl_files = Adl/As.hs Adl/Sign.hs
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantzFpl_files = Fpl/As.hs Fpl/Sign.hs
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantzTHF_files = THF/As.hs THF/Cons.hs THF/Sign.hs
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantzFreeCAD_files = FreeCAD/As.hs
321f88f4de9d60b5f846555b10f866348b7d598cjerenkrantz
6830e61f24984184ce3095c204935d06963dcc51ndOWL2_files = OWL2/AS.hs OWL2/Symbols.hs OWL2/Sign.hs OWL2/MS.hs \
6830e61f24984184ce3095c204935d06963dcc51nd OWL2/Morphism.hs OWL2/ProfilesAndSublogics.hs OWL2/Sublogic.hs \
6830e61f24984184ce3095c204935d06963dcc51nd OWL2/Profiles.hs
6830e61f24984184ce3095c204935d06963dcc51nd
6830e61f24984184ce3095c204935d06963dcc51ndRDF_files = RDF/AS.hs OWL2/AS.hs # RDF/Symbols.hs RDF/Sign.hs RDF/Morphism.hs \
85bf271a2a8d88736575e93504528639f5971f97nd #RDF/Sublogic.hs
85bf271a2a8d88736575e93504528639f5971f97nd
85bf271a2a8d88736575e93504528639f5971f97nd# ATC DrIFT-rule generation for logics
85bf271a2a8d88736575e93504528639f5971f97ndCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
5c457d20a708ef42b0824290d0feda1852a37493rederpj $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
5c457d20a708ef42b0824290d0feda1852a37493rederpj
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
5c457d20a708ef42b0824290d0feda1852a37493rederpj $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
a22d4a5da8c5167776b9e62737379cc9b857ef4drederpj
13590409a89cdf7e5dc52516919ccee94edad59brederpjPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
a22d4a5da8c5167776b9e62737379cc9b857ef4drederpj $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
cde00ab9085ea6e93db4a27bf6fe9a9b6eda4addnd
cde00ab9085ea6e93db4a27bf6fe9a9b6eda4addndQBF/ATC_QBF.der.hs: $(QBF_files) $(GENRULES)
cde00ab9085ea6e93db4a27bf6fe9a9b6eda4addnd $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(QBF_files)
cde00ab9085ea6e93db4a27bf6fe9a9b6eda4addnd
cde00ab9085ea6e93db4a27bf6fe9a9b6eda4addnd
cde00ab9085ea6e93db4a27bf6fe9a9b6eda4addndHolLight/ATC_HolLight.der.hs: $(HolLight_files) $(GENRULES)
159d95df05b3100bbef7a60cb5f5d7d8d5a3328etrawick $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HolLight_files)
159d95df05b3100bbef7a60cb5f5d7d8d5a3328etrawick
159d95df05b3100bbef7a60cb5f5d7d8d5a3328etrawickHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
159d95df05b3100bbef7a60cb5f5d7d8d5a3328etrawick $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
59b910556d04c82e951d6c6f7a413ab8fed21467trawick
acba1dfc9d36dbd7d307769f0f7c74f776d2458btrawickIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
59b910556d04c82e951d6c6f7a413ab8fed21467trawick $(GENRULECALL) -o $@ $(Isabelle_files)
59b910556d04c82e951d6c6f7a413ab8fed21467trawick
59b910556d04c82e951d6c6f7a413ab8fed21467trawickModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
9768955299008e29705461b314b763a79104e576nd $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd
03e310ef946842b4dfa718776c870d012fc9ec67strikerTemporal/ATC_Temporal.der.hs: $(Temporal_files) $(GENRULES)
03e310ef946842b4dfa718776c870d012fc9ec67striker $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Temporal_files)
03e310ef946842b4dfa718776c870d012fc9ec67striker
03e310ef946842b4dfa718776c870d012fc9ec67strikerConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
03e310ef946842b4dfa718776c870d012fc9ec67striker $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
03e310ef946842b4dfa718776c870d012fc9ec67striker
611d2f4e86b4eceb640a5301bd88a23cb459e5a8strikerCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
611d2f4e86b4eceb640a5301bd88a23cb459e5a8striker $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
611d2f4e86b4eceb640a5301bd88a23cb459e5a8striker
611d2f4e86b4eceb640a5301bd88a23cb459e5a8strikerCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
611d2f4e86b4eceb640a5301bd88a23cb459e5a8striker $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
f59888906d0566361498848fa95b4c416fad976cstriker
f59888906d0566361498848fa95b4c416fad976cstrikerCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
f59888906d0566361498848fa95b4c416fad976cstriker $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
f59888906d0566361498848fa95b4c416fad976cstriker
f59888906d0566361498848fa95b4c416fad976cstrikerCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
6a3078c438bee65f22004ac65cd2eb4fa521bbfastriker $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
6a3078c438bee65f22004ac65cd2eb4fa521bbfastriker
6a3078c438bee65f22004ac65cd2eb4fa521bbfastrikerSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
6a3078c438bee65f22004ac65cd2eb4fa521bbfastriker $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
26acc990e97a62631a3654405d676b928a78ebbcstriker
26acc990e97a62631a3654405d676b928a78ebbcstrikerVSE/ATC_VSE.der.hs: $(VSE_files) $(GENRULES)
29ecc0949b383793b24cdd0741cb86c02138ab36striker $(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
29ecc0949b383793b24cdd0741cb86c02138ab36striker
29ecc0949b383793b24cdd0741cb86c02138ab36strikerOMDoc/ATC_OMDoc.der.hs: $(OMDoc_files) $(GENRULES)
29ecc0949b383793b24cdd0741cb86c02138ab36striker $(GENRULECALL) -i OMDoc.ATerm -o $@ $(OMDoc_files)
29ecc0949b383793b24cdd0741cb86c02138ab36striker
29ecc0949b383793b24cdd0741cb86c02138ab36strikerDFOL/ATC_DFOL.der.hs: $(DFOL_files) $(GENRULES)
c97f8ff3a7479c838545de0c59770938b50ab6d3gstein $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(DFOL_files)
c97f8ff3a7479c838545de0c59770938b50ab6d3gstein
c97f8ff3a7479c838545de0c59770938b50ab6d3gsteinLF/ATC_LF.der.hs: $(LF_files) $(GENRULES)
6fb9d10c529c2be3bb1833b0eefdd27ba4df1610trawick $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(LF_files)
6fb9d10c529c2be3bb1833b0eefdd27ba4df1610trawick
6fb9d10c529c2be3bb1833b0eefdd27ba4df1610trawickFramework/ATC_Framework.der.hs: $(Framework_files) $(GENRULES)
6fb9d10c529c2be3bb1833b0eefdd27ba4df1610trawick $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Framework_files)
6fb9d10c529c2be3bb1833b0eefdd27ba4df1610trawick
6fb9d10c529c2be3bb1833b0eefdd27ba4df1610trawickMaude/ATC_Maude.der.hs: $(Maude_files) $(GENRULES)
368a950bc36b428b737d079f77e8962c831f88aand $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Maude_files)
368a950bc36b428b737d079f77e8962c831f88aand
368a950bc36b428b737d079f77e8962c831f88aandExtModal/ATC_ExtModal.der.hs: $(ExtModal_files) $(GENRULES)
368a950bc36b428b737d079f77e8962c831f88aand $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ExtModal_files)
9768955299008e29705461b314b763a79104e576nd
1ead2314e821e9ac264ea35425e7d0816030e404stoddardCSL/ATC_CSL.der.hs: $(CSL_files) $(GENRULES)
9768955299008e29705461b314b763a79104e576nd $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CSL_files)
9768955299008e29705461b314b763a79104e576nd
9768955299008e29705461b314b763a79104e576ndCommonLogic/ATC_CommonLogic.der.hs: $(CommonLogic_files) $(GENRULES)
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjc $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CommonLogic_files)
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjc
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjcAdl/ATC_Adl.der.hs: $(Adl_files) $(GENRULES)
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjc $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Adl_files)
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjc
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjcFpl/ATC_Fpl.der.hs: $(Fpl_files) $(GENRULES)
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjc $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Fpl_files)
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjc
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjcTHF/ATC_THF.der.hs: $(THF_files) $(GENRULES)
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjc $(GENRULECALL) -i ATC.Id -i ATC.GlobalAnnotations -o $@ $(THF_files)
1005ad40d72c4a1df2c0f1b95b770a4c43c49a47mjc
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantzFreeCAD/ATC_FreeCAD.der.hs: $(FreeCAD_files) $(GENRULES)
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantz $(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $(FreeCAD_files)
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantz
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantzOWL2/ATC_OWL2.der.hs: $(OWL2_files) $(GENRULES)
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantz $(GENRULECALL) -i ATC.Result -o $@ $(OWL2_files)
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantz
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantzRDF/ATC_RDF.der.hs: $(RDF_files) $(GENRULES)
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantz $(GENRULECALL) -i ATC.Result -o $@ $(RDF_files)
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantz
da5a84048552168ea64c3012573acd4de1434dcdjerenkrantz# all ATC .der.hs files for all logics
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantzatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantz
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantzgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantz
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantz# a rule to create all .der.hs files
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantzgenRules: $(generated_rule_files)
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantz
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantz# the final ATC target files created by DriFT
19fdbc5566bf67dde644be9e8d38d62db4dd0ba5jerenkrantzgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
e874834efe9943668668c7fa498af3b3c7caffbdnd
e874834efe9943668668c7fa498af3b3c7caffbdnd# all sources that need to be created before ghc can be called
e874834efe9943668668c7fa498af3b3c7caffbdndderived_sources += $(drifted_files) Driver/Version.hs $(hs_der_files)
e874834efe9943668668c7fa498af3b3c7caffbdnd
e874834efe9943668668c7fa498af3b3c7caffbdnd####################################################################
e874834efe9943668668c7fa498af3b3c7caffbdnd### targets
e874834efe9943668668c7fa498af3b3c7caffbdnd
b617020883fa3b18bc9b5be5e896ceed79a7ff7fnd.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
b617020883fa3b18bc9b5be5e896ceed79a7ff7fnd real_clean bin_clean distclean maintainer-clean annos \
b617020883fa3b18bc9b5be5e896ceed79a7ff7fnd check capa hacapa h2h h2hf showKP clean_genRules genRules \
38873f61704cbe5eadaa3fb9dca84a4bee1ae5d5wrowe count doc fromKif derivedSources release cgi ghci build callghc
38873f61704cbe5eadaa3fb9dca84a4bee1ae5d5wrowe
38873f61704cbe5eadaa3fb9dca84a4bee1ae5d5wrowe.SECONDARY : %.hs %.d $(generated_rule_files)
38873f61704cbe5eadaa3fb9dca84a4bee1ae5d5wrowe
38873f61704cbe5eadaa3fb9dca84a4bee1ae5d5wrowe# dummy target to force ghc invocation
68a80326bd8b6f717ae0c44d4bb7273023aad1edwrowecallghc:
68a80326bd8b6f717ae0c44d4bb7273023aad1edwrowe
68a80326bd8b6f717ae0c44d4bb7273023aad1edwrowehets-opt:
68a80326bd8b6f717ae0c44d4bb7273023aad1edwrowe $(MAKE) distclean
68a80326bd8b6f717ae0c44d4bb7273023aad1edwrowe $(MAKE) derivedSources
68a80326bd8b6f717ae0c44d4bb7273023aad1edwrowe $(MAKE) clean
6838d0e05a193cb77265db36e3549201b3df57e6wrowe $(MAKE) hets-optimized
6838d0e05a193cb77265db36e3549201b3df57e6wrowe
6838d0e05a193cb77265db36e3549201b3df57e6wrowehets-optimized: $(derived_sources)
6838d0e05a193cb77265db36e3549201b3df57e6wrowe $(HC) --make -O -o hets hets.hs $(HC_OPTS)
903c124068c87c957f1327de486017a19cccd348stoddard
903c124068c87c957f1327de486017a19cccd348stoddardcgi:
903c124068c87c957f1327de486017a19cccd348stoddard $(MAKE) distclean
903c124068c87c957f1327de486017a19cccd348stoddard $(MAKE) derivedSources
732269e2780cb818c1b48aeffa0b432b0ce4ee5eaaron $(MAKE) clean
732269e2780cb818c1b48aeffa0b432b0ce4ee5eaaron $(MAKE) hets.cgi
20aa030accab9a4df293294283fbe6a4ae961588trawick
20aa030accab9a4df293294283fbe6a4ae961588trawickhets.cgi: GUI/hets_cgi.hs
20aa030accab9a4df293294283fbe6a4ae961588trawick ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O
b617020883fa3b18bc9b5be5e896ceed79a7ff7fnd
e08b3783b570fdea39520da5e6c174394e956d17nd# Documentation via haddock
e08b3783b570fdea39520da5e6c174394e956d17nddoc: docs/index.html
e08b3783b570fdea39520da5e6c174394e956d17nd
e08b3783b570fdea39520da5e6c174394e956d17ndHADDOCK_INTERFACES = $(shell find `ghc --print-libdir`/../.. -name \*.haddock)
e08b3783b570fdea39520da5e6c174394e956d17nd
e08b3783b570fdea39520da5e6c174394e956d17ndHAD_INTS = $(foreach file, $(HADDOCK_INTERFACES),\
e08b3783b570fdea39520da5e6c174394e956d17nd -i http://hackage.haskell.org/packages/archive/$(basename $(notdir $(file)))/latest/doc/html,$(file))
e08b3783b570fdea39520da5e6c174394e956d17nd
e08b3783b570fdea39520da5e6c174394e956d17ndHADDOCK_OPTS = $(addprefix --optghc=, $(HC_OPTS))
e08b3783b570fdea39520da5e6c174394e956d17nddocs/index.html:
16de8ff78c533f06c64d5ab2b685953992ff8659thommay $(RM) -r docs
16de8ff78c533f06c64d5ab2b685953992ff8659thommay mkdir docs
16de8ff78c533f06c64d5ab2b685953992ff8659thommay $(HADDOCK) -o docs -h -s ../%F $(HAD_INTS) \
16de8ff78c533f06c64d5ab2b685953992ff8659thommay -t 'Hets - the Heterogeneous Tool Set' \
5aef954598e763eea457d204897a6a12d281755dtrawick -p Hets-Haddock-Prologue.txt $(HADDOCK_OPTS) \
5aef954598e763eea457d204897a6a12d281755dtrawick Syntax/ADoc.hs $(filter-out Scratch.hs, $(wildcard *.hs))
5aef954598e763eea457d204897a6a12d281755dtrawick
5aef954598e763eea457d204897a6a12d281755dtrawickderivedSources: $(derived_sources)
340e970018246649e86dd3ebbd34f4719e3ceaf7trawick
340e970018246649e86dd3ebbd34f4719e3ceaf7trawick$(DRIFT): $(DRIFT_deps)
340e970018246649e86dd3ebbd34f4719e3ceaf7trawick (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT)
340e970018246649e86dd3ebbd34f4719e3ceaf7trawick
1360e9b0036040edfbcd2273ae18db83a93536detrawick$(DTD2HS): $(DTD2HS_deps) utils/DtdToHaskell-src/DtdToHaskell.hs
1360e9b0036040edfbcd2273ae18db83a93536detrawick (mkdir /tmp/DtdToHaskell/; \
1360e9b0036040edfbcd2273ae18db83a93536detrawick cp $(DTD2HS_src)*hs /tmp/DtdToHaskell/; \
1360e9b0036040edfbcd2273ae18db83a93536detrawick cp utils/DtdToHaskell-src/DtdToHaskell.hs /tmp/; \
1360e9b0036040edfbcd2273ae18db83a93536detrawick export PWD=`pwd`; \
1360e9b0036040edfbcd2273ae18db83a93536detrawick cd /tmp/; \
c3f32ea297c5350948a0c4472c1ff8433ea4e6bastoddard $(HC) --make DtdToHaskell.hs -o $(PWD)/utils/DtdToHaskell $(HC_OPTS))
c3f32ea297c5350948a0c4472c1ff8433ea4e6bastoddard
c3f32ea297c5350948a0c4472c1ff8433ea4e6bastoddardIsabelle/IsaExport.hs: $(DTD2HS) Isabelle/IsaExport.dtd
c3f32ea297c5350948a0c4472c1ff8433ea4e6bastoddard ($(DTD2HS) Isabelle/IsaExport.dtd Isabelle/IsaExport.hs Isabelle.)
6838d0e05a193cb77265db36e3549201b3df57e6wrowe
c3f32ea297c5350948a0c4472c1ff8433ea4e6bastoddard$(GENRULES): $(DRIFT) $(GENERATERULES_deps)
946f7bd76a0dec6d67af79af56a8cff3cb6ef9c1nd (cd utils/GenerateRules; \
946f7bd76a0dec6d67af79af56a8cff3cb6ef9c1nd $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
946f7bd76a0dec6d67af79af56a8cff3cb6ef9c1nd GenerateRules.hs -o ../genRules)
946f7bd76a0dec6d67af79af56a8cff3cb6ef9c1nd
8c038cdb417502a969599568ccc4020576d82a10ndutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
8c038cdb417502a969599568ccc4020576d82a10nd $(HC) --make -o $@ $<
8c038cdb417502a969599568ccc4020576d82a10nd
8c038cdb417502a969599568ccc4020576d82a10nd# release management
8c038cdb417502a969599568ccc4020576d82a10ndREV = trunk
8c038cdb417502a969599568ccc4020576d82a10ndrelease:
8c038cdb417502a969599568ccc4020576d82a10nd $(RM) -r Hets
8c038cdb417502a969599568ccc4020576d82a10nd svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
6838d0e05a193cb77265db36e3549201b3df57e6wrowe (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \
6838d0e05a193cb77265db36e3549201b3df57e6wrowe cp Makefile Makefile.orig; \
83938932cb2dbe320eda488799bb7a0c04156bcdake cp ReleaseMakefile Makefile; \
83938932cb2dbe320eda488799bb7a0c04156bcdake ./clean.sh; \
6838d0e05a193cb77265db36e3549201b3df57e6wrowe find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
6838d0e05a193cb77265db36e3549201b3df57e6wrowe $(RM) clean.*; utils/replaceAllHeaders.sh)
6838d0e05a193cb77265db36e3549201b3df57e6wrowe $(TAR) cvf Hets.tar Hets
6838d0e05a193cb77265db36e3549201b3df57e6wrowe
6838d0e05a193cb77265db36e3549201b3df57e6wrowe# Common/LaTeX_maps.hs generation
6fbf645df300ffa9c9693399571f2cd821af06fdtrawickutils/genItCorrections: $(GENITCORRECTIONS_deps)
6fbf645df300ffa9c9693399571f2cd821af06fdtrawick $(HC) --make -o $@ $<
6fbf645df300ffa9c9693399571f2cd821af06fdtrawick
6fbf645df300ffa9c9693399571f2cd821af06fdtrawickpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
6fbf645df300ffa9c9693399571f2cd821af06fdtrawick pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
c8ff8621370eb28a3f697a00bf5e6b3bc1a0d9f1minfrin @echo -n "Generating pretty/LaTeX_maps.hs ... "
c8ff8621370eb28a3f697a00bf5e6b3bc1a0d9f1minfrin @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
c8ff8621370eb28a3f697a00bf5e6b3bc1a0d9f1minfrin @(cd pretty >/dev/null; ../utils/genItCorrections \
c8ff8621370eb28a3f697a00bf5e6b3bc1a0d9f1minfrin gen_it_characters gen_it_words >> LaTeX_maps.hs)
c8ff8621370eb28a3f697a00bf5e6b3bc1a0d9f1minfrin @echo "ready"
c8989f842c2ad4533950c13d99d3dfb099da0d67minfrin @echo "please copy the file manually to Common"
c8989f842c2ad4533950c13d99d3dfb099da0d67minfrin
c8989f842c2ad4533950c13d99d3dfb099da0d67minfrin### clean up
c8989f842c2ad4533950c13d99d3dfb099da0d67minfrinclean_genRules:
97610ac677a5eda4a3bb366c5bb34a27eeb4288cminfrin $(RM) $(generated_rule_files) $(gendrifted_files) \
97610ac677a5eda4a3bb366c5bb34a27eeb4288cminfrin $(hs_clean_files)
97610ac677a5eda4a3bb366c5bb34a27eeb4288cminfrin
6aa783d83f4304f664233d8252cb67116769676ewroweclean: bin_clean o_clean clean_pretty clean_javastuff
6aa783d83f4304f664233d8252cb67116769676ewrowe
6aa783d83f4304f664233d8252cb67116769676ewrowe### removes all *.o, *.hi and *.p_o files in all subdirectories
6aa783d83f4304f664233d8252cb67116769676ewroweo_clean:
6aa783d83f4304f664233d8252cb67116769676ewrowe find . -name \*.o -o -name \*.hi -o -name \*.p_o \
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd -o -name \*.exe -o -name \*.exe.manifest | xargs $(RM)
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd### remove binaries
761fb8d21084bd7b7eb590fbd54a925dfdf806bbndbin_clean:
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd $(RM) hets
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd $(RM) hets.cgi
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd $(RM) $(TESTTARGETS)
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd
761fb8d21084bd7b7eb590fbd54a925dfdf806bbndclean_pretty:
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
761fb8d21084bd7b7eb590fbd54a925dfdf806bbnd pretty/generated_words.tex
367cefc17f8dcfe65651c9c16cb3151589c6cecetrawick $(RM) test/*/*.{thy,pp.het,pp.tex,th,dfg.c,xml,log,dvi,aux,sty}
5d6ffa7b5c77dd4132ed6d7f0dd63548b1c3c1c9nd $(RM) test/*/log
d8f54fe5534b61afa68100dddbe2eb98285d1100wrowe $(RM) ToHaskell/test/*.{out,output}
d8f54fe5534b61afa68100dddbe2eb98285d1100wrowe $(RM) */test/temp*
d8f54fe5534b61afa68100dddbe2eb98285d1100wrowe $(RM) doc/UserGuide.{log,aux,bbl,blg,out,pdf}
d8f54fe5534b61afa68100dddbe2eb98285d1100wrowe
d8f54fe5534b61afa68100dddbe2eb98285d1100wroweclean_javastuff:
6aa783d83f4304f664233d8252cb67116769676ewrowe $(RM) OWL2/*.jar OWL2/java/lib/*.jar
6aa783d83f4304f664233d8252cb67116769676ewrowe $(RM) -r OWL2/java/build OWL2/lib
6aa783d83f4304f664233d8252cb67116769676ewrowe
d8f54fe5534b61afa68100dddbe2eb98285d1100wrowe### additionally removes the library files
18f36c8bdc74f9fd18739b9a154852c541b18900minfrinreal_clean: clean
18f36c8bdc74f9fd18739b9a154852c541b18900minfrin
18f36c8bdc74f9fd18739b9a154852c541b18900minfrin### additionally removes generated files not in the CVS tree
f1e73dbab9ba73d83c9ac8a13ab6150653bb71a9brianpdistclean: clean clean_genRules
f1e73dbab9ba73d83c9ac8a13ab6150653bb71a9brianp $(RM) $(derived_sources)
7a01bcd2d59be7ec9ce55701c58054fa1c0bb5b6wrowe $(RM) utils/appendHaskellPreludeString
6aa783d83f4304f664233d8252cb67116769676ewrowe $(RM) utils/DrIFT utils/genRules
6aa783d83f4304f664233d8252cb67116769676ewrowe $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
6aa783d83f4304f664233d8252cb67116769676ewrowe $(RM) -r docs
7a01bcd2d59be7ec9ce55701c58054fa1c0bb5b6wrowe
7a01bcd2d59be7ec9ce55701c58054fa1c0bb5b6wrowemaintainer-clean: distclean
9d71a9210ee030534400d37010f34e6a7d72b53fnd $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
9d71a9210ee030534400d37010f34e6a7d72b53fnd
9d71a9210ee030534400d37010f34e6a7d72b53fnd### interactive
9d71a9210ee030534400d37010f34e6a7d72b53fndghci: $(derived_sources)
5d6ffa7b5c77dd4132ed6d7f0dd63548b1c3c1c9nd ghci $(HC_OPTS)
5d6ffa7b5c77dd4132ed6d7f0dd63548b1c3c1c9nd
5d6ffa7b5c77dd4132ed6d7f0dd63548b1c3c1c9nd### build only, don't link
5d6ffa7b5c77dd4132ed6d7f0dd63548b1c3c1c9ndbuild: hets.hs
5d6ffa7b5c77dd4132ed6d7f0dd63548b1c3c1c9nd $(HC) --make -c $< $(HC_OPTS)
144b1e2ebb48b2878017a8ac9a4cad1e771bc1b6stoddard
144b1e2ebb48b2878017a8ac9a4cad1e771bc1b6stoddard### Kif parser
144b1e2ebb48b2878017a8ac9a4cad1e771bc1b6stoddardfromKif: CASL/fromKif
74b84dd6e146edc93cf1b3200e411bfc581f7c36nd
143a04461642dea548a4bebdb302f5e411528a14trawick### Annos parser
143a04461642dea548a4bebdb302f5e411528a14trawickannos: Common/annos
143a04461642dea548a4bebdb302f5e411528a14trawick
ebecc16986604cce1369d5075eff65032e3dd0deianh### CASL parser
ebecc16986604cce1369d5075eff65032e3dd0deianhcapa: CASL/capa
ebecc16986604cce1369d5075eff65032e3dd0deianh
ebecc16986604cce1369d5075eff65032e3dd0deianh### HasCASL parser
ebecc16986604cce1369d5075eff65032e3dd0deianhhacapa: HasCASL/hacapa
ebecc16986604cce1369d5075eff65032e3dd0deianh
ebecc16986604cce1369d5075eff65032e3dd0deianh### Haskell analysis
ebecc16986604cce1369d5075eff65032e3dd0deianhhana: Haskell/hana
7a2b9ea4788ea59d81b9e84192e4b90a9a0da875wrowe
7a2b9ea4788ea59d81b9e84192e4b90a9a0da875wrowe### Haskell to Isabelle-HOLCF translation
7a2b9ea4788ea59d81b9e84192e4b90a9a0da875wroweh2hf: Haskell/h2hf
7a2b9ea4788ea59d81b9e84192e4b90a9a0da875wrowe
7a2b9ea4788ea59d81b9e84192e4b90a9a0da875wroweHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
d225a894172ec361d2c6791638bacf604a8c6fa4nd Common/Lib/*.hs Comorphisms/*.hs
d225a894172ec361d2c6791638bacf604a8c6fa4nd $(HC) -O --make -o $@ $< $(HC_OPTS)
d225a894172ec361d2c6791638bacf604a8c6fa4nd
d225a894172ec361d2c6791638bacf604a8c6fa4nd### HasCASL to Haskell translation
d225a894172ec361d2c6791638bacf604a8c6fa4ndh2h: Haskell/h2h
d225a894172ec361d2c6791638bacf604a8c6fa4nd
d225a894172ec361d2c6791638bacf604a8c6fa4nd### test program to check the known provers
70f28b17978da5478a97843ab7cbcb4baf7a8711ndshowKP: Comorphisms/test/showKP
70f28b17978da5478a97843ab7cbcb4baf7a8711nd
70f28b17978da5478a97843ab7cbcb4baf7a8711nd### run tests in other directories
70f28b17978da5478a97843ab7cbcb4baf7a8711ndcheck: $(TESTTARGETS)
ac539bd6714277d9ce7c39361de4cc11d1fb8eadnd for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
ac539bd6714277d9ce7c39361de4cc11d1fb8eadnd
ac539bd6714277d9ce7c39361de4cc11d1fb8eadnd## Preparing the version of Hets
f5208b93c14accca0cd5f5acb042332b20172fb1ndDriver/Version.hs: Driver/Version.in version_nr
f5208b93c14accca0cd5f5acb042332b20172fb1nd $(RM) $@
f5208b93c14accca0cd5f5acb042332b20172fb1nd LANG=C $(PERL) utils/build_version.pl version_nr \
d8f54fe5534b61afa68100dddbe2eb98285d1100wrowe < Driver/Version.in > $@
1125f364c5cb4fd9bff71e89b5d4cbf551590035bnicholes chmod 444 $@
1125f364c5cb4fd9bff71e89b5d4cbf551590035bnicholes
1125f364c5cb4fd9bff71e89b5d4cbf551590035bnicholes## two hardcoded dependencies for a correct generation of Version.hs
1125f364c5cb4fd9bff71e89b5d4cbf551590035bnicholesDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
1125f364c5cb4fd9bff71e89b5d4cbf551590035bnicholeshets.hs: Driver/Version.hs
1125f364c5cb4fd9bff71e89b5d4cbf551590035bnicholes
1125f364c5cb4fd9bff71e89b5d4cbf551590035bnicholesATC/DevGraph.hs: Static/DevGraph.hs
9d999c5deeddad9211695fc736a845afda6a2e95wrowe
9d999c5deeddad9211695fc736a845afda6a2e95wrowe## two dependencies to avoid circular prerequisites
9d999c5deeddad9211695fc736a845afda6a2e95wroweCASL_DEPENDENT_BINARIES = hets CASL/capa CASL/fromKif \
9d999c5deeddad9211695fc736a845afda6a2e95wrowe Common/annos Common/test_parser Comorphisms/test/showKP \
f19141958ebbfa8feb78e27007b4023d710d1c7etrawick CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
f19141958ebbfa8feb78e27007b4023d710d1c7etrawick Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
f19141958ebbfa8feb78e27007b4023d710d1c7etrawick
f19141958ebbfa8feb78e27007b4023d710d1c7etrawick$(CASL_DEPENDENT_BINARIES): $(derived_sources)
3ac9911bdb9c066a068041218d5b05bc851340bdtrawick
3ac9911bdb9c066a068041218d5b05bc851340bdtrawick## suffix rules
3ac9911bdb9c066a068041218d5b05bc851340bdtrawick.SUFFIXES:
c5c445b5614e4d5040d3c0994d2456f1ac8cb9b5jerenkrantz
c5c445b5614e4d5040d3c0994d2456f1ac8cb9b5jerenkrantz## rule for GHC
c5c445b5614e4d5040d3c0994d2456f1ac8cb9b5jerenkrantz%: %.hs callghc
c5c445b5614e4d5040d3c0994d2456f1ac8cb9b5jerenkrantz $(HC) --make -o $@ $< $(HC_OPTS)
c5c445b5614e4d5040d3c0994d2456f1ac8cb9b5jerenkrantz
c5c445b5614e4d5040d3c0994d2456f1ac8cb9b5jerenkrantz## rule for DrIFT
5541a81e194dc99521c0ecf904a940b0b65a93f2nd%.hs: %.der.hs $(DRIFT)
5541a81e194dc99521c0ecf904a940b0b65a93f2nd $(RM) $@
5541a81e194dc99521c0ecf904a940b0b65a93f2nd ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe chmod 444 $@
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe## compiling rules for object and interface files
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe%.o %.hi: %.hs
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe $(HC) -c $< $(HC_OPTS)
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe%.o %.hi: %.lhs
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe $(HC) -c $< $(HC_OPTS)
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe## compiling rules for dependencies
f16b2c3124a11bff93724342099e1afdb8145917bnicholes%.d : %.hs
f16b2c3124a11bff93724342099e1afdb8145917bnicholes $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe%.d : %.lhs
60736084c3e45fe7ece48483188e58b0f9e3a36bwrowe $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
f16b2c3124a11bff93724342099e1afdb8145917bnicholes
d584e3b7a33da68233e7ac403213b436b402f5bend## Rule to generate hs files from glade files. Needed for GTK
d584e3b7a33da68233e7ac403213b436b402f5bend%.hs: %.glade utils/appendHaskellPreludeString \
d584e3b7a33da68233e7ac403213b436b402f5bend GUI/Glade/Template.append.hs
d584e3b7a33da68233e7ac403213b436b402f5bend b=`basename $< .glade`; \
d584e3b7a33da68233e7ac403213b436b402f5bend cat GUI/Glade/Template.append.hs | sed "s/\%s/$$b/" | \
d584e3b7a33da68233e7ac403213b436b402f5bend utils/appendHaskellPreludeString $< > $@
d584e3b7a33da68233e7ac403213b436b402f5bend
d584e3b7a33da68233e7ac403213b436b402f5bend# directory for installers
d584e3b7a33da68233e7ac403213b436b402f5bendINSTALLER_DIR = ../installers
d584e3b7a33da68233e7ac403213b436b402f5bend
d584e3b7a33da68233e7ac403213b436b402f5bendifeq ($(strip $(HETS_VERSION)),)
d584e3b7a33da68233e7ac403213b436b402f5bendHETS_VERSION := `cat version_nr`
d584e3b7a33da68233e7ac403213b436b402f5bend# or `date +%F`
d584e3b7a33da68233e7ac403213b436b402f5bendendif
d584e3b7a33da68233e7ac403213b436b402f5bend
d584e3b7a33da68233e7ac403213b436b402f5bend# prepare installer creation
d584e3b7a33da68233e7ac403213b436b402f5bendinitialize_installer:
d584e3b7a33da68233e7ac403213b436b402f5bend mkdir -p $(INSTALLER_DIR)
d584e3b7a33da68233e7ac403213b436b402f5bend sed "s/^\(HETS_VERSION =\).*/\1$(HETS_VERSION)/" Makefile.installer \
d584e3b7a33da68233e7ac403213b436b402f5bend > $(INSTALLER_DIR)/Makefile
3e49fe84a5024d831ffb14697747c5948821f958trawick @echo Please do
3e49fe84a5024d831ffb14697747c5948821f958trawick @echo " -> cd $(INSTALLER_DIR)"
3e49fe84a5024d831ffb14697747c5948821f958trawick @echo " -> make"
5610fc134df70e725bcdef518cc93de70261eb1dnd @echo and wait until it is finished
5610fc134df70e725bcdef518cc93de70261eb1dnd
5610fc134df70e725bcdef518cc93de70261eb1dnd# check out java parts for OWL
5610fc134df70e725bcdef518cc93de70261eb1dndowl_java:
965680cd7c050ec8c8c751ffdbaf19c91213d562trawick $(RM) -r OWL2/java/OwlApi
965680cd7c050ec8c8c751ffdbaf19c91213d562trawick svn export \
965680cd7c050ec8c8c751ffdbaf19c91213d562trawick https://owlapi.svn.sourceforge.net/svnroot/owlapi/v3/trunk \
965680cd7c050ec8c8c751ffdbaf19c91213d562trawick OWL2/java/OwlApi
965680cd7c050ec8c8c751ffdbaf19c91213d562trawick
965680cd7c050ec8c8c751ffdbaf19c91213d562trawickinitialize_java: owl_java
965680cd7c050ec8c8c751ffdbaf19c91213d562trawick ant -q init
965680cd7c050ec8c8c751ffdbaf19c91213d562trawick
965680cd7c050ec8c8c751ffdbaf19c91213d562trawickjava-libs:
52d61f96a186861d991583851218e15ea16f0abetrawick ant -q java-libs
52d61f96a186861d991583851218e15ea16f0abetrawick
52d61f96a186861d991583851218e15ea16f0abetrawickjava-files:
52d61f96a186861d991583851218e15ea16f0abetrawick ant -q java-files
4fa5f4378779a06834ec5efa44810f93741c5f27wrowe
4fa5f4378779a06834ec5efa44810f93741c5f27wrowejava-clean:
4fa5f4378779a06834ec5efa44810f93741c5f27wrowe ant -q java-clean
4fa5f4378779a06834ec5efa44810f93741c5f27wrowe
6838d0e05a193cb77265db36e3549201b3df57e6wrowe# download dependencies for RDF Jena-api
74b84dd6e146edc93cf1b3200e411bfc581f7c36ndrdf_java:
74b84dd6e146edc93cf1b3200e411bfc581f7c36nd mkdir -p RDF/java/lib
74b84dd6e146edc93cf1b3200e411bfc581f7c36nd if [ -f RDF/java/lib/arq-2.8.7.jar ]; then \
11e365512cbf021726cd3ec3d80743f408170ff9stoddard echo "File arq-2.8.7.jar already exists"; \
11e365512cbf021726cd3ec3d80743f408170ff9stoddard else \
11e365512cbf021726cd3ec3d80743f408170ff9stoddard curl -o RDF/java/lib/arq-2.8.7.jar http://repo1.maven.org/maven2/com/hp/hpl/jena/arq/2.8.7/arq-2.8.7.jar; \
11e365512cbf021726cd3ec3d80743f408170ff9stoddard fi
11e365512cbf021726cd3ec3d80743f408170ff9stoddard if [ -f RDF/java/lib/icu4j-3.4.4.jar ]; then \
367cefc17f8dcfe65651c9c16cb3151589c6cecetrawick echo "File icu4j-3.4.4.jar already exists"; \
2774f23eee36fdb1b30a8213bbcabe5336175e54jwoolley else \
2774f23eee36fdb1b30a8213bbcabe5336175e54jwoolley curl -o RDF/java/lib/icu4j-3.4.4.jar http://repo1.maven.org/maven2/com/ibm/icu/icu4j/3.4.4/icu4j-3.4.4.jar; \
2774f23eee36fdb1b30a8213bbcabe5336175e54jwoolley fi
2774f23eee36fdb1b30a8213bbcabe5336175e54jwoolley if [ -f RDF/java/lib/iri-0.8.jar ]; then \
1944ddbbad413b60307d66081b022a3eee5f04cfbnicholes echo "File iri-0.8.jar already exists"; \
1944ddbbad413b60307d66081b022a3eee5f04cfbnicholes else \
1944ddbbad413b60307d66081b022a3eee5f04cfbnicholes curl -o RDF/java/lib/iri-0.8.jar http://repo1.maven.org/maven2/com/hp/hpl/jena/iri/0.8/iri-0.8.jar; \
1944ddbbad413b60307d66081b022a3eee5f04cfbnicholes fi
3b1dc8f8f153d7167da9e64ab44f3e90f486a458wrowe if [ -f RDF/java/lib/jena-2.6.4.jar ]; then \
3b1dc8f8f153d7167da9e64ab44f3e90f486a458wrowe echo "File jena-2.6.4.jar already exists"; \
3b1dc8f8f153d7167da9e64ab44f3e90f486a458wrowe else \
3b1dc8f8f153d7167da9e64ab44f3e90f486a458wrowe curl -o RDF/java/lib/jena-2.6.4.jar http://repo1.maven.org/maven2/com/hp/hpl/jena/jena/2.6.4/jena-2.6.4.jar; \
2404b81d39a1a539f980d4808d52d23997a9e006nd fi
2404b81d39a1a539f980d4808d52d23997a9e006nd if [ -f RDF/java/lib/junit-4.5.jar ]; then \
2404b81d39a1a539f980d4808d52d23997a9e006nd echo "File junit-4.5.jar already exists"; \
a3754e9d2edd5758f94fd743b9cf9f814be80383nd else \
a3754e9d2edd5758f94fd743b9cf9f814be80383nd curl -o RDF/java/lib/junit-4.5.jar http://repo1.maven.org/maven2/junit/junit/4.5/junit-4.5.jar; \
a3754e9d2edd5758f94fd743b9cf9f814be80383nd fi
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick if [ -f RDF/java/lib/log4j-1.2.13.jar ]; then \
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick echo "File log4j-1.2.13.jar already exists"; \
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick else \
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick curl -o RDF/java/lib/log4j-1.2.13.jar http://repo1.maven.org/maven2/log4j/log4j/1.2.13/log4j-1.2.13.jar; \
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick fi
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick if [ -f RDF/java/lib/lucene-core-2.3.1.jar ]; then \
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick echo "File lucene-core-2.3.1.jar already exists"; \
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick else \
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick curl -o RDF/java/lib/lucene-core-2.3.1.jar http://repo1.maven.org/maven2/org/apache/lucene/lucene-core/2.3.1/lucene-core-2.3.1.jar; \
f9a987f71572291f35b9d0adc3fe79af96b2b147trawick fi
6838d0e05a193cb77265db36e3549201b3df57e6wrowe if [ -f RDF/java/lib/slf4j-api-1.5.8.jar ]; then \
5c870e08d589a24283cd76a9d596120605762cbbminfrin echo "File slf4j-api-1.5.8.jar already exists"; \
5c870e08d589a24283cd76a9d596120605762cbbminfrin else \
5c870e08d589a24283cd76a9d596120605762cbbminfrin curl -o RDF/java/lib/slf4j-api-1.5.8.jar http://repo2.maven.org/maven2/org/slf4j/slf4j-api/1.5.8/slf4j-api-1.5.8.jar; \
47d4dfaca60aff6d3c7e591bf593b3961cafcdefminfrin fi
47d4dfaca60aff6d3c7e591bf593b3961cafcdefminfrin if [ -f RDF/java/lib/slf4j-log4j12-1.5.8.jar ]; then \
47d4dfaca60aff6d3c7e591bf593b3961cafcdefminfrin echo "File slf4j-log4j12-1.5.8.jar already exists"; \
c206205e2475a7a4a192eaa7190a9894f01f0631minfrin else \
6838d0e05a193cb77265db36e3549201b3df57e6wrowe curl -o RDF/java/lib/slf4j-log4j12-1.5.8.jar http://repo2.maven.org/maven2/org/slf4j/slf4j-log4j12/1.5.8/slf4j-log4j12-1.5.8.jar; \
c206205e2475a7a4a192eaa7190a9894f01f0631minfrin fi
c206205e2475a7a4a192eaa7190a9894f01f0631minfrin if [ -f RDF/java/lib/stax-api-1.0.1.jar ]; then \
304aee4b1ff85cc876570493e4ed334d42b4d9eftrawick echo "File stax-api-1.0.1.jar already exists"; \
304aee4b1ff85cc876570493e4ed334d42b4d9eftrawick else \
304aee4b1ff85cc876570493e4ed334d42b4d9eftrawick curl -o RDF/java/lib/stax-api-1.0.1.jar http://dist.codehaus.org/stax/jars/stax-api-1.0.1.jar; \
304aee4b1ff85cc876570493e4ed334d42b4d9eftrawick fi
304aee4b1ff85cc876570493e4ed334d42b4d9eftrawick if [ -f RDF/java/lib/wstx-asl-3.2.9.jar ]; then \
304aee4b1ff85cc876570493e4ed334d42b4d9eftrawick echo "File wstx-asl-3.2.9.jar already exists"; \
77582a85f880a10e8e225ecd5b303446d23d1c9atrawick else \
77582a85f880a10e8e225ecd5b303446d23d1c9atrawick curl -o RDF/java/lib/wstx-asl-3.2.9.jar http://repo1.maven.org/maven2/org/codehaus/woodstox/wstx-asl/3.2.9/wstx-asl-3.2.9.jar; \
77582a85f880a10e8e225ecd5b303446d23d1c9atrawick fi
77582a85f880a10e8e225ecd5b303446d23d1c9atrawick if [ -f RDF/java/lib/xercesImpl-2.7.1.jar ]; then \
77582a85f880a10e8e225ecd5b303446d23d1c9atrawick echo "File xercesImpl-2.7.1.jar already exists"; \
f49cf8ce86a01c90d5d843fc27e19d2802dd0f77wrowe else \
f49cf8ce86a01c90d5d843fc27e19d2802dd0f77wrowe curl -o RDF/java/lib/xercesImpl-2.7.1.jar http://mirrors.ibiblio.org/pub/mirrors/maven2/xerces/xercesImpl/2.7.1/xercesImpl-2.7.1.jar; \
f49cf8ce86a01c90d5d843fc27e19d2802dd0f77wrowe fi
f49cf8ce86a01c90d5d843fc27e19d2802dd0f77wrowe
111b2312c9749936ebca4f273db445820a0a703ebrianp# download rdf4h, unpack and install
111b2312c9749936ebca4f273db445820a0a703ebrianprdf4h:
6838d0e05a193cb77265db36e3549201b3df57e6wrowe cabal install http://protempore.net/rdf4h/rdf4h-0.6.1.tar.gz
ad877cddc14be8c8171938ba61338c6c7b896bbdtrawick