Cross Reference: /hets/Makefile

	Makefile revision 0a5571c8adeddd27548445546491725beb224ddd
3a9c3ec5357b36fc34766cb8166168311af3562frbb# Makefile
71f891073f6fa0209870791f64cbbf28d77ffdc1brianp# $Id$
c148bc6b4eea544af816783400362f741c5f5fc2trawick# Author: (c) Klaus Luettich, Christian Maeder, Uni Bremen 2002-2009
c148bc6b4eea544af816783400362f741c5f5fc2trawick
c148bc6b4eea544af816783400362f741c5f5fc2trawick# This Makefile will compile the hets system and provides also
9d432e23f6025b78322cbee43e8e89262a108e5eaaron# targets for test programs during implementation phases.
9d432e23f6025b78322cbee43e8e89262a108e5eaaron
9d432e23f6025b78322cbee43e8e89262a108e5eaaron# !!! Note: This makefile is written for GNU make !!!
9d432e23f6025b78322cbee43e8e89262a108e5eaaron#           (gmake on solaris)
9d432e23f6025b78322cbee43e8e89262a108e5eaaron
9d432e23f6025b78322cbee43e8e89262a108e5eaaronall: hets
9d432e23f6025b78322cbee43e8e89262a108e5eaaron
6a5bdbbacf4a62adecde52b8f23ebcc4fa2a08b8trawickinclude var.mk
6a5bdbbacf4a62adecde52b8f23ebcc4fa2a08b8trawick
6a5bdbbacf4a62adecde52b8f23ebcc4fa2a08b8trawick# the 'replacing spaces' example was taken from the (GNU) Make info manual
10306ac2c175f420e6989568f4c8535a5dbc1349minfrinempty =
10306ac2c175f420e6989568f4c8535a5dbc1349minfrinspace = $(empty) $(empty)
10306ac2c175f420e6989568f4c8535a5dbc1349minfrin
10306ac2c175f420e6989568f4c8535a5dbc1349minfrinDRIFT_ENV = DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
b4e4d76bf454e1b603b410110356dbcf12f3bc42jim
b4e4d76bf454e1b603b410110356dbcf12f3bc42jimDRIFT_deps = utils/DrIFT-src/*hs
b4e4d76bf454e1b603b410110356dbcf12f3bc42jimGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
adb1e17ae7e1cf5cf4f8f2b07d3389cb55f4becetrawickGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
adb1e17ae7e1cf5cf4f8f2b07d3389cb55f4becetrawickINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
adb1e17ae7e1cf5cf4f8f2b07d3389cb55f4becetrawick    Common/Doc.hs CASL/ToDoc.hs Modal/AS_Modal.hs \
71f891073f6fa0209870791f64cbbf28d77ffdc1brianp    Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
71f891073f6fa0209870791f64cbbf28d77ffdc1brianp
2864362ca8266097928e84f101010bdf814ffa08stoddardPERL = perl
2864362ca8266097928e84f101010bdf814ffa08stoddardHAPPY = happy -sga
2864362ca8266097928e84f101010bdf814ffa08stoddardGENRULES = utils/genRules
2864362ca8266097928e84f101010bdf814ffa08stoddardGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
2864362ca8266097928e84f101010bdf814ffa08stoddard    -i Data.Typeable -i ATerm.Lib
f51dbb1f5b66d94b5c190bfcd444aa73bdc2b176trawick
893c106ae59d8e96d921524b123ae26dea8ad37fgsteinGENRULECALL2 = $(GENRULES) -r Typeable -r ShATermLG \
893c106ae59d8e96d921524b123ae26dea8ad37fgstein    -i Data.Typeable -i ATerm.Lib -i ATC.Grothendieck
893c106ae59d8e96d921524b123ae26dea8ad37fgsteinDRIFT = utils/DrIFT
893c106ae59d8e96d921524b123ae26dea8ad37fgsteinINLINEAXIOMS = utils/outlineAxioms
3aa6444bcee4e9fc32ec8860d832ff83a15784efianhHADDOCK = haddock
3aa6444bcee4e9fc32ec8860d832ff83a15784efianh
e2bdfd25d9d0461e0a3ab18ceff2113215e3e115brianpARCH = $(subst $(space),,$(shell uname -m))
e2bdfd25d9d0461e0a3ab18ceff2113215e3e115brianpSETUP = utils/Setup
e2bdfd25d9d0461e0a3ab18ceff2113215e3e115brianpSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
b9fe73991e7c592a634242a7e11f924689f58e1fgstein
b9fe73991e7c592a634242a7e11f924689f58e1fgsteinSETUPPACKAGE = ../$(SETUP) clean; \
b9fe73991e7c592a634242a7e11f924689f58e1fgstein    ../$(SETUP) configure -O -p $(SETUPPREFIX) --user; \
b9fe73991e7c592a634242a7e11f924689f58e1fgstein    ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install
d9fcdb415d8661cbd9451df8f88e003a1aa04ce9trawick
d9fcdb415d8661cbd9451df8f88e003a1aa04ce9trawick# list glade files
d9fcdb415d8661cbd9451df8f88e003a1aa04ce9trawickGTK_GLADE_FILES = $(wildcard GUI/Glade/*.glade)
d9fcdb415d8661cbd9451df8f88e003a1aa04ce9trawickGTK_GLADE_HSFILES = $(subst .glade,.hs,$(GTK_GLADE_FILES))
d9fcdb415d8661cbd9451df8f88e003a1aa04ce9trawick
81b8d0f83e9d0bc2bf6900fc680737e0cac439a2brianpderived_sources += $(GTK_GLADE_HSFILES)
81b8d0f83e9d0bc2bf6900fc680737e0cac439a2brianp
b5033962c73a470b6f36a3ac796c542a6ab4ddf6brianp# the list of logics that need ShATermConvertible instances
b5033962c73a470b6f36a3ac796c542a6ab4ddf6brianplogics = CASL HasCASL Isabelle Modal Temporal CoCASL COL CspCASL CASL_DL \
d7856f850b9b51165f23ae381a891bda894e1373ianh    SoftFOL ConstraintCASL Propositional OWL RelationalScheme VSE OMDoc DFOL \
d7856f850b9b51165f23ae381a891bda894e1373ianh    LF Framework Maude ExtModal CommonLogic CSL QBF Adl HolLight Fpl THF \
d7856f850b9b51165f23ae381a891bda894e1373ianh    FreeCAD OWL2
d7856f850b9b51165f23ae381a891bda894e1373ianh
d7856f850b9b51165f23ae381a891bda894e1373ianhTESTTARGETFILES += Scratch.hs CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
d75626f0952c6152a99acd013a4f127d46f0f9edtrawick    Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
d75626f0952c6152a99acd013a4f127d46f0f9edtrawick    ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
d75626f0952c6152a99acd013a4f127d46f0f9edtrawick    Common/ATerm/ATermDiffMain.hs Common/annos.hs \
d75626f0952c6152a99acd013a4f127d46f0f9edtrawick    SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
d75626f0952c6152a99acd013a4f127d46f0f9edtrawick    Comorphisms/test/sublogicGraph.hs PGIP/ParseProofScript.hs \
ab2053f3cdda69cfa5e4ce0800ea7af203cc6d5ddougm    Common/testxupdate.hs Common/testxpath.hs \
ab2053f3cdda69cfa5e4ce0800ea7af203cc6d5ddougm    SoftFOL/dfg.hs Adl/adl.hs GUI/displayDependencyGraph.hs
ab2053f3cdda69cfa5e4ce0800ea7af203cc6d5ddougm
88ecd979f1112454432371f55a1420240fae3743trawick### list of directories to run checks in
88ecd979f1112454432371f55a1420240fae3743trawickTESTDIRS += Common CASL Fpl/test HasCASL test HolLight
88ecd979f1112454432371f55a1420240fae3743trawick
548e06e26f5377b2efbb7e0dab20f536e5e24160trawickhs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
548e06e26f5377b2efbb7e0dab20f536e5e24160trawick    Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
548e06e26f5377b2efbb7e0dab20f536e5e24160trawick
c02a689f2274966ed5d1c16207f74b5128c35c86trawickPFE_TOOLDIR = $(wildcard programatica/tools)
c02a689f2274966ed5d1c16207f74b5128c35c86trawickifneq ($(strip $(PFE_TOOLDIR)),)
f51dbb1f5b66d94b5c190bfcd444aa73bdc2b176trawickPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
f51dbb1f5b66d94b5c190bfcd444aa73bdc2b176trawick    base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
f51dbb1f5b66d94b5c190bfcd444aa73bdc2b176trawick    base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard    base/transforms base/transforms/Deriving property \
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard    property/syntax property/AST property/transforms \
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard    property/TI property/defs property/parse2 property/parse2/Parser
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddardPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddardpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddardPFE_PATH = $(addprefix -i, $(PFE_PATHS))
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddardhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddardLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer
aa202cda00837ed5381d5f67254e08c565a5c3a8stoddard
3a9c3ec5357b36fc34766cb8166168311af3562frbbprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
94f4821a5444a4fe782f772aef5db4d8b839675djerenkrantz            $(LEX_DIR)/HsLex.hs $(SETUP)
94f4821a5444a4fe782f772aef5db4d8b839675djerenkrantz    @if $(HCPKG) field programatica version; then \
94f4821a5444a4fe782f772aef5db4d8b839675djerenkrantz          echo "of programatica package found"; else \
2a49e30bae376c9744b96c8681ab88122ccaa46cjerenkrantz          ($(PATCH) -usNlp0 -d $(PFE_TOOLDIR) \
2a49e30bae376c9744b96c8681ab88122ccaa46cjerenkrantz            -i `pwd`/Haskell/Programatica.patch || exit 0); \
2a49e30bae376c9744b96c8681ab88122ccaa46cjerenkrantz          cp -f utils/programatica.cabal $(PFE_TOOLDIR); \
2a49e30bae376c9744b96c8681ab88122ccaa46cjerenkrantz          cp -f $(SETUP) $(PFE_TOOLDIR); \
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin          cp -f LICENSE.txt $(PFE_TOOLDIR); \
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin          (cd $(PFE_TOOLDIR); \
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin           ./Setup configure $(SETUPPREFIX) --user; \
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin           ./Setup build; ./Setup install) fi
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin    echo "{-# OPTIONS -w #-}" > $@
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin    $< >> $@
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
afef080e47ef499a5cbceb7ad7fadbb3abca0b48minfrin    $(LEX_DIR)/HsTokens.hs
c49200a2bdbb8fa1f2e5c3b87cc497ecdeefa8feminfrin    $(HC) --make -fno-monomorphism-restriction -O \
c49200a2bdbb8fa1f2e5c3b87cc497ecdeefa8feminfrin           -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
c49200a2bdbb8fa1f2e5c3b87cc497ecdeefa8feminfrin           -i$(PFE_TOOLDIR)/base/lib \
c49200a2bdbb8fa1f2e5c3b87cc497ecdeefa8feminfrin       -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
103005439776bb7aeccb95ebf4761ebfef3f9c39ianh              $@.hs -o $@
103005439776bb7aeccb95ebf4761ebfef3f9c39ianh
103005439776bb7aeccb95ebf4761ebfef3f9c39ianhlogics += Haskell
92d311b27a6182c2eed67317990c8c168584ee75trawickderived_sources += Haskell/PreludeString.hs
92d311b27a6182c2eed67317990c8c168584ee75trawick
92d311b27a6182c2eed67317990c8c168584ee75trawickAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
92d311b27a6182c2eed67317990c8c168584ee75trawick    Haskell/ProgramaticaPrelude.hs
92d311b27a6182c2eed67317990c8c168584ee75trawick
744ecbcc06a9128fc4730d1334cc180bf7fc521caaron## rule for appendHaskellPreludeString
6f0dd808a674b7c09a625b36f320030f4e339f8faaronHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
6f0dd808a674b7c09a625b36f320030f4e339f8faaron    $(APPENDPRELUDESTRING)
744ecbcc06a9128fc4730d1334cc180bf7fc521caaron    $(RM) $@
59511de77b389ced52253d055fc470ecfedfcd99aaron    $(APPENDPRELUDESTRING) < $< > $@
59511de77b389ced52253d055fc470ecfedfcd99aaron    chmod 444 $@
59511de77b389ced52253d055fc470ecfedfcd99aaron
59511de77b389ced52253d055fc470ecfedfcd99aaronAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
b5cdec7910a44654cb254b99c5a39d7c180c4bcajerenkrantz    HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
b5cdec7910a44654cb254b99c5a39d7c180c4bcajerenkrantz    HsModule HsName HsLiteral HsIdent
b5cdec7910a44654cb254b99c5a39d7c180c4bcajerenkrantz
b5cdec7910a44654cb254b99c5a39d7c180c4bcajerenkrantz#files in base/TI/
b5cdec7910a44654cb254b99c5a39d7c180c4bcajerenkrantz#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
393bfaab1beb2410959a4a5e91f58446f01bac09rbb
c10fe96ac7d024918e26af6c8ba5470273b75bb2jwoolley#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
6c2dc61d4760fa5e356f95c4b1685eec7f1d75dcaaron
6c2dc61d4760fa5e356f95c4b1685eec7f1d75dcaaronOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
6c2dc61d4760fa5e356f95c4b1685eec7f1d75dcaaron    base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
6c2dc61d4760fa5e356f95c4b1685eec7f1d75dcaaron    base/parse2/SourceNames base/syntax/SyntaxRec \
6c2dc61d4760fa5e356f95c4b1685eec7f1d75dcaaron    property/syntax/PropSyntaxStruct
6c2dc61d4760fa5e356f95c4b1685eec7f1d75dcaaron
6c2dc61d4760fa5e356f95c4b1685eec7f1d75dcaaronHaskell_files = $(addsuffix .hs, \
6c2dc61d4760fa5e356f95c4b1685eec7f1d75dcaaron    $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
01e8aca9299a0b872414c24c8b7724d6f88ae665ianh    $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
01e8aca9299a0b872414c24c8b7724d6f88ae665ianh
01e8aca9299a0b872414c24c8b7724d6f88ae665ianh## rule for ATC generation
f783dff0c8b69344a6b67e97f16b91f8b0790799dougmHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
f783dff0c8b69344a6b67e97f16b91f8b0790799dougm    $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
f783dff0c8b69344a6b67e97f16b91f8b0790799dougm
f783dff0c8b69344a6b67e97f16b91f8b0790799dougmhs_der_files += $(hs_clean_files)
f783dff0c8b69344a6b67e97f16b91f8b0790799dougm
6362515725d2b6d66ac3b26531f8c53ac75f8c20wroweTESTDIRS += ToHaskell
6362515725d2b6d66ac3b26531f8c53ac75f8c20wroweTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
f783dff0c8b69344a6b67e97f16b91f8b0790799dougmelse
6362515725d2b6d66ac3b26531f8c53ac75f8c20wrowe# unset this variable from var.mk because the programatica sources
6362515725d2b6d66ac3b26531f8c53ac75f8c20wrowe# are needed to created our sources!
98ae9b96926a3dd99b195d7628c7e527e720f6acaaronPFE_FLAGS =
98ae9b96926a3dd99b195d7628c7e527e720f6acaaronendif
98ae9b96926a3dd99b195d7628c7e527e720f6acaaron# end of programatica stuff
98ae9b96926a3dd99b195d7628c7e527e720f6acaaron
98ae9b96926a3dd99b195d7628c7e527e720f6acaaronTESTTARGETS = $(subst .hs,,$(TESTTARGETFILES))
98ae9b96926a3dd99b195d7628c7e527e720f6acaaron
98ae9b96926a3dd99b195d7628c7e527e720f6acaaronGHCVERSION = $(shell ghc --numeric-version)
98ae9b96926a3dd99b195d7628c7e527e720f6acaaronifneq ($(findstring 12, $(GHCVERSION)),)
98ae9b96926a3dd99b195d7628c7e527e720f6acaaronNO_BIND_WARNING = -fno-warn-unused-do-bind
98ae9b96926a3dd99b195d7628c7e527e720f6acaaronendif
9379749d811388a7d0e3410940ddd6743a33d330jim
9379749d811388a7d0e3410940ddd6743a33d330jimifneq ($(findstring 7, $(GHCVERSION)),)
9379749d811388a7d0e3410940ddd6743a33d330jimNO_BIND_WARNING = -fno-warn-unused-do-bind -fno-warn-warnings-deprecations
9379749d811388a7d0e3410940ddd6743a33d330jimendif
f37499bf7da81cd6b697d4667233137957426428jerenkrantz
f37499bf7da81cd6b697d4667233137957426428jerenkrantzHC_WARN = -Wall -fno-warn-orphans $(NO_BIND_WARNING)
421dc1d123c9adda60e024f93fb614bfada8b9e5wrowe
b8c2b4dfc363e33a8a1c2464802c3fb05cab86bbwroweINCLUDE_PATH =
421dc1d123c9adda60e024f93fb614bfada8b9e5wroweHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
421dc1d123c9adda60e024f93fb614bfada8b9e5wrowe
83d91d60d00dc345bfbcbc48ff206db4a6b23b2eaaron# uncomment HC_PROF for profiling (and comment out packages in var.mk)
83d91d60d00dc345bfbcbc48ff206db4a6b23b2eaaron# call resulting binary with a final +RTS -p to get a file <binary>.prof
83d91d60d00dc345bfbcbc48ff206db4a6b23b2eaaron# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS
83d91d60d00dc345bfbcbc48ff206db4a6b23b2eaaron
83d91d60d00dc345bfbcbc48ff206db4a6b23b2eaaronifneq ($(findstring -O, $(CFLAGS)),)
83d91d60d00dc345bfbcbc48ff206db4a6b23b2eaaronHC_DEBIAN_OPT=-O
c10fe96ac7d024918e26af6c8ba5470273b75bb2jwoolleyendif
c10fe96ac7d024918e26af6c8ba5470273b75bb2jwoolley
c10fe96ac7d024918e26af6c8ba5470273b75bb2jwoolleyHC_OPTS += $(HC_WARN) $(HC_INCLUDE) $(HC_PROF) $(HC_DEBIAN_OPT)
83ca150ef902e9692972aa923e893bc6406d20f1ianh# -ddump-minimal-imports
f37499bf7da81cd6b697d4667233137957426428jerenkrantz# uncomment the above line to generate .imports files for displayDependencyGraph
cbfbf9598d686b11afc7a9f9d91a8facfdfa7216trawick
7a8a0744e378f2343c3ee6787fac0f8f959d2141brianp# files generated by DriFT
7a8a0744e378f2343c3ee6787fac0f8f959d2141brianpdrifted_files = Common/AS_Annotation.hs \
7a8a0744e378f2343c3ee6787fac0f8f959d2141brianp    CASL/AS_Basic_CASL.hs Modal/AS_Modal.hs \
7a8a0744e378f2343c3ee6787fac0f8f959d2141brianp    Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
7a8a0744e378f2343c3ee6787fac0f8f959d2141brianp    Propositional/AS_BASIC_Propositional.hs \
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe    CoCASL/AS_CoCASL.hs COL/AS_COL.hs \
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe    CASL_DL/AS_CASL_DL.hs OWL/ReadWrite.hs \
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe    CspCASL/AS_CspCASL_Process.hs CspCASL/AS_CspCASL.hs \
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe    RelationalScheme/AS.hs ATC/Grothendieck.hs \
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe    ExtModal/AS_ExtModal.hs QBF/AS_BASIC_QBF.hs \
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe    CommonLogic/AS_CommonLogic.hs Fpl/As.hs \
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe    $(gendrifted_files)
f5ce2873c97c12a34d6b03d2771b9250b7bbfe55wrowe
73cba74a34576f7ece4bd98fd58c8a932a178e6daaron# files to extract data types from to generate ShATermConvertible instances
73cba74a34576f7ece4bd98fd58c8a932a178e6daaronatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
73cba74a34576f7ece4bd98fd58c8a932a178e6daaron    Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
73cba74a34576f7ece4bd98fd58c8a932a178e6daaron    Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
73cba74a34576f7ece4bd98fd58c8a932a178e6daaron    Logic/Prover.hs Common/LibName.hs \
73cba74a34576f7ece4bd98fd58c8a932a178e6daaron    Common/Consistency.hs Common/ProofTree.hs Static/DevGraph.hs \
73cba74a34576f7ece4bd98fd58c8a932a178e6daaron    Common/Id.hs Common/Result.hs Common/OrderedMap.hs \
29c30db45f6a469017e16b606611e460cc1a1f2caaron    Common/Lib/Graph.hs
29c30db45f6a469017e16b606611e460cc1a1f2caaron
29c30db45f6a469017e16b606611e460cc1a1f2caaron# files generated by genRules as input for DriFT
095071bbd0b3ccccd6883edc7cd10f13cac71160ianhatc_der_files = $(foreach file, $(atc_files), \
095071bbd0b3ccccd6883edc7cd10f13cac71160ianh    ATC/$(basename $(basename $(notdir $(file)))).der.hs)
095071bbd0b3ccccd6883edc7cd10f13cac71160ianh
a322a82f79b790fb7ddcd7df4459d20725450fa7trawick# the rules to create ATC .der.hs file for DriFT
a322a82f79b790fb7ddcd7df4459d20725450fa7trawickATC/Id.der.hs: Common/Id.hs $(GENRULES)
a322a82f79b790fb7ddcd7df4459d20725450fa7trawick    $(GENRULECALL) -o $@ $<
21644b4d1b09d0531911a8c9a891819a261480f8minfrin
21644b4d1b09d0531911a8c9a891819a261480f8minfrinATC/Result.der.hs: Common/Result.hs $(GENRULES)
21644b4d1b09d0531911a8c9a891819a261480f8minfrin    $(GENRULECALL) -i ATC.Id -o $@ $<
21644b4d1b09d0531911a8c9a891819a261480f8minfrin
21644b4d1b09d0531911a8c9a891819a261480f8minfrinATC/OrderedMap.der.hs: Common/OrderedMap.hs $(GENRULES)
21644b4d1b09d0531911a8c9a891819a261480f8minfrin    $(GENRULECALL) -o $@ $<
21644b4d1b09d0531911a8c9a891819a261480f8minfrin
21644b4d1b09d0531911a8c9a891819a261480f8minfrinATC/Graph.der.hs: Common/Lib/Graph.hs $(GENRULES)
21644b4d1b09d0531911a8c9a891819a261480f8minfrin    $(GENRULECALL) -o $@ $<
21644b4d1b09d0531911a8c9a891819a261480f8minfrin
21644b4d1b09d0531911a8c9a891819a261480f8minfrinATC/ProofTree.der.hs: Common/ProofTree.hs $(GENRULES)
bf5cf58cc30750e9f9764cc830aff426ced288f9aaron    $(GENRULECALL) -o $@ $<
bf5cf58cc30750e9f9764cc830aff426ced288f9aaron
bf5cf58cc30750e9f9764cc830aff426ced288f9aaronATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
bf5cf58cc30750e9f9764cc830aff426ced288f9aaron    $(GENRULECALL) -i ATC.Id -i Common.ATerm.ConvInstances -o $@ $<
7cdc36a99b42a3c5e36ac47726ad41c9c7b039ceianh
7cdc36a99b42a3c5e36ac47726ad41c9c7b039ceianhATC/Consistency.der.hs: Common/Consistency.hs $(GENRULES)
cbfbf9598d686b11afc7a9f9d91a8facfdfa7216trawick    $(GENRULECALL) -x Common.Consistency.ConservativityChecker -o $@ $<
cbfbf9598d686b11afc7a9f9d91a8facfdfa7216trawick
cbfbf9598d686b11afc7a9f9d91a8facfdfa7216trawickATC/LibName.der.hs: Common/LibName.hs $(GENRULES)
e37c657172940f82d9b28a45fc1304140eb0b1d7stoddard    $(GENRULECALL) -i ATC.Id -i Common.ATerm.ConvInstances -o $@ $<
fe808620434aa59b796e8b60cd6eec65a32dfc2dstoddard
e37c657172940f82d9b28a45fc1304140eb0b1d7stoddardATC/ExtSign.der.hs: Common/ExtSign.hs $(GENRULES)
edd6c1f4be1aa23fc99134802941397f7f31b3d5jerenkrantz    $(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $<
5f08a022a210f4e511561e89f500621a15e6177dtrawick
5f08a022a210f4e511561e89f500621a15e6177dtrawickATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
6db5333c9461942b8af724b101e687af541d4d4cjerenkrantz    $(GENRULECALL) -o $@ $<
6db5333c9461942b8af724b101e687af541d4d4cjerenkrantz
d4fcf63a5d9171d50c0d04e05a35ec6bf1f85100jerenkrantzATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
d4fcf63a5d9171d50c0d04e05a35ec6bf1f85100jerenkrantz    $(GENRULECALL2) -o $@ $<
d4fcf63a5d9171d50c0d04e05a35ec6bf1f85100jerenkrantz
dee6a8bde4d598087dc4b3ebf3d4dd06809d2dd7jerenkrantzATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
dee6a8bde4d598087dc4b3ebf3d4dd06809d2dd7jerenkrantz    $(GENRULECALL2) -i ATC.AS_Structured -o $@ $<
dee6a8bde4d598087dc4b3ebf3d4dd06809d2dd7jerenkrantz
edd6c1f4be1aa23fc99134802941397f7f31b3d5jerenkrantzATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
edd6c1f4be1aa23fc99134802941397f7f31b3d5jerenkrantz    $(GENRULECALL2) -i ATC.AS_Architecture -i ATC.LibName -o $@ $<
edd6c1f4be1aa23fc99134802941397f7f31b3d5jerenkrantz
d7d551e53cdfb3288eb651447d7209599c40d17estoddardATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
d7d551e53cdfb3288eb651447d7209599c40d17estoddard    $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Result -o $@ $<
d7d551e53cdfb3288eb651447d7209599c40d17estoddard
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantzATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
956a1511249b1fec73aaee0fb7d69c8492aa1368aaron    $(GENRULECALL) -x Logic.Prover.ProverTemplate \
956a1511249b1fec73aaee0fb7d69c8492aa1368aaron            -x Logic.Prover.ConsChecker \
956a1511249b1fec73aaee0fb7d69c8492aa1368aaron            -i ATC.AS_Annotation -i ATC.OrderedMap -o $@ $<
956a1511249b1fec73aaee0fb7d69c8492aa1368aaron
d0e4ca9bfd8bf44bea574733965851bfee939d95aaronATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
d0e4ca9bfd8bf44bea574733965851bfee939d95aaron    $(GENRULECALL2) -i ATC.LibName -i ATC.Consistency \
d0e4ca9bfd8bf44bea574733965851bfee939d95aaron            -i ATC.AS_Library -o $@ $<
d0e4ca9bfd8bf44bea574733965851bfee939d95aaron
d0e4ca9bfd8bf44bea574733965851bfee939d95aaron# ATC files for every logic
d0e4ca9bfd8bf44bea574733965851bfee939d95aaronCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
956a1511249b1fec73aaee0fb7d69c8492aa1368aaron    CASL/AS_Basic_CASL.der.hs
d0e4ca9bfd8bf44bea574733965851bfee939d95aaron
a4b3fb28f3d2e0983b15b4c6828c6980f2fc9b15jerenkrantzHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
a4b3fb28f3d2e0983b15b4c6828c6980f2fc9b15jerenkrantzIsabelle_files = Isabelle/IsaSign.hs
a4b3fb28f3d2e0983b15b4c6828c6980f2fc9b15jerenkrantz
548b2980e83f609186a76e98fb245d02e8547bc3jerenkrantzPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
548b2980e83f609186a76e98fb245d02e8547bc3jerenkrantz    Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
548b2980e83f609186a76e98fb245d02e8547bc3jerenkrantz    Propositional/Sublogic.hs
e54b09d79ca9bc18ea5ae33367fd907473621dcejerenkrantz
e54b09d79ca9bc18ea5ae33367fd907473621dcejerenkrantzHolLight_files = HolLight/Sentence.hs HolLight/Sign.hs \
e54b09d79ca9bc18ea5ae33367fd907473621dcejerenkrantz                 HolLight/Sublogic.hs HolLight/Term.hs
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantzQBF_files = Propositional/Sign.hs QBF/Morphism.hs \
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz    QBF/AS_BASIC_QBF.hs QBF/Symbol.hs \
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz    QBF/Sublogic.hs
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantzRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantzModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantzTemporal_files = Temporal/AS_BASIC_Temporal.hs Temporal/Sign.hs \
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz    Temporal/Symbol.hs Temporal/Morphism.hs
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantz
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantzConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
edcd9e6d9d29f60b25f7b9779dbd33e9dc1cc79ejerenkrantzCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
3dacbb0a9d24ff7178be1d79846225549719c0c7jerenkrantzCOL_files = COL/AS_COL.hs COL/COLSign.hs
0733b4ac1b339822a5b506be8a28fea6e384cbfetrawick
1582553026e5e3a1921a34222eaee923fddee9b9wroweCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
1582553026e5e3a1921a34222eaee923fddee9b9wrowe    CspCASL/SignCSP.hs CspCASL/SymbItems.hs CspCASL/Symbol.hs \
1582553026e5e3a1921a34222eaee923fddee9b9wrowe    CspCASL/Morphism.hs
1582553026e5e3a1921a34222eaee923fddee9b9wrowe
1582553026e5e3a1921a34222eaee923fddee9b9wroweCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs
1582553026e5e3a1921a34222eaee923fddee9b9wroweSoftFOL_files = SoftFOL/Sign.hs
1582553026e5e3a1921a34222eaee923fddee9b9wroweOWL_files = OWL/Sign.hs OWL/Sublogic.hs OWL/Morphism.hs
1582553026e5e3a1921a34222eaee923fddee9b9wroweVSE_files = VSE/As.hs
1582553026e5e3a1921a34222eaee923fddee9b9wroweOMDoc_files = OMDoc/OMDocInterface.hs
1582553026e5e3a1921a34222eaee923fddee9b9wroweDFOL_files = DFOL/AS_DFOL.hs DFOL/Sign.hs DFOL/Morphism.hs DFOL/Symbol.hs
1582553026e5e3a1921a34222eaee923fddee9b9wroweLF_files = LF/Sign.hs LF/Morphism.hs LF/AS.hs
1582553026e5e3a1921a34222eaee923fddee9b9wroweFramework_files = Framework/AS.hs
1582553026e5e3a1921a34222eaee923fddee9b9wrowe
1582553026e5e3a1921a34222eaee923fddee9b9wroweMaude_files = Maude/Sign.hs Maude/Morphism.hs Maude/Sentence.hs \
1582553026e5e3a1921a34222eaee923fddee9b9wrowe    Maude/Symbol.hs Maude/AS_Maude.hs
1582553026e5e3a1921a34222eaee923fddee9b9wrowe
1582553026e5e3a1921a34222eaee923fddee9b9wroweExtModal_files = ExtModal/AS_ExtModal.hs ExtModal/ExtModalSign.hs \
bd214bbc8d9db9d6d1dcb6b24462e6d1da8e8bbbstoddard    ExtModal/MorphismExtension.hs
bd214bbc8d9db9d6d1dcb6b24462e6d1da8e8bbbstoddard
bd214bbc8d9db9d6d1dcb6b24462e6d1da8e8bbbstoddardCSL_files = CSL/Sign.hs CSL/Morphism.hs CSL/AS_BASIC_CSL.hs CSL/Symbol.hs \
064448ce15afe798e3c1dc0445fe2a30eb256bf6gregames    CSL/TreePO.hs
064448ce15afe798e3c1dc0445fe2a30eb256bf6gregames
1078b2c97bb39352bae929d2ed3f290a420470a7ianhCommonLogic_files = CommonLogic/AS_CommonLogic.hs CommonLogic/Sign.hs \
762c82a23cc3ddaac92f941b2f871e94efdf4e6bgregames  CommonLogic/Symbol.hs CommonLogic/Morphism.hs CommonLogic/Sublogic.hs
762c82a23cc3ddaac92f941b2f871e94efdf4e6bgregames
762c82a23cc3ddaac92f941b2f871e94efdf4e6bgregamesAdl_files = Adl/As.hs Adl/Sign.hs
fb50cf6056a42f94cc9e8eeabea1eb8d05e0aefcaaron
fb50cf6056a42f94cc9e8eeabea1eb8d05e0aefcaaronFpl_files = Fpl/As.hs Fpl/Sign.hs
fb50cf6056a42f94cc9e8eeabea1eb8d05e0aefcaaron
fb50cf6056a42f94cc9e8eeabea1eb8d05e0aefcaaronTHF_files = THF/As.hs THF/Cons.hs
fb50cf6056a42f94cc9e8eeabea1eb8d05e0aefcaaron
d56c38bfb6293bfff7c980858b19e32039106618jerenkrantzFreeCAD_files = FreeCAD/As.hs
d56c38bfb6293bfff7c980858b19e32039106618jerenkrantz
d56c38bfb6293bfff7c980858b19e32039106618jerenkrantzOWL2_files = OWL2/AS.hs OWL2/FS.hs OWL2/Symbols.hs OWL2/Sign.hs OWL2/MS.hs
d56c38bfb6293bfff7c980858b19e32039106618jerenkrantz
7c301a1818939f85da8f3629cc3e9b5588610ef0jerenkrantz# ATC DrIFT-rule generation for logics
7c301a1818939f85da8f3629cc3e9b5588610ef0jerenkrantzCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
7c301a1818939f85da8f3629cc3e9b5588610ef0jerenkrantz    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
a7fb6d64e059872d5410e873b7f492d62a5cf916rbb
a7fb6d64e059872d5410e873b7f492d62a5cf916rbbRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
a7fb6d64e059872d5410e873b7f492d62a5cf916rbb    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
a7fb6d64e059872d5410e873b7f492d62a5cf916rbb
a7fb6d64e059872d5410e873b7f492d62a5cf916rbbPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
a985ccb3ebd4be0fda23a0ce9ad95fd233089463trawick    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
a985ccb3ebd4be0fda23a0ce9ad95fd233089463trawick
a985ccb3ebd4be0fda23a0ce9ad95fd233089463trawickQBF/ATC_QBF.der.hs: $(QBF_files) $(GENRULES)
a985ccb3ebd4be0fda23a0ce9ad95fd233089463trawick    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(QBF_files)
a985ccb3ebd4be0fda23a0ce9ad95fd233089463trawick
af262486b3d1c33299307195a715bd1e373f99afrbb
af262486b3d1c33299307195a715bd1e373f99afrbbHolLight/ATC_HolLight.der.hs: $(HolLight_files) $(GENRULES)
af262486b3d1c33299307195a715bd1e373f99afrbb    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HolLight_files)
af262486b3d1c33299307195a715bd1e373f99afrbb
af262486b3d1c33299307195a715bd1e373f99afrbbHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
628ce9384209a460022be952ccdcc8538ad3ca84slive    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
628ce9384209a460022be952ccdcc8538ad3ca84slive
628ce9384209a460022be952ccdcc8538ad3ca84sliveIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
628ce9384209a460022be952ccdcc8538ad3ca84slive    $(GENRULECALL) -o $@ $(Isabelle_files)
628ce9384209a460022be952ccdcc8538ad3ca84slive
2b9a9a94658c0febcad2f76621b2d5ab856edc6atrawickModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
2b9a9a94658c0febcad2f76621b2d5ab856edc6atrawick    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
2b9a9a94658c0febcad2f76621b2d5ab856edc6atrawick
2b9a9a94658c0febcad2f76621b2d5ab856edc6atrawickTemporal/ATC_Temporal.der.hs: $(Temporal_files) $(GENRULES)
f6f453bf03007f391d347dc821e507cdd924d1bftrawick    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Temporal_files)
f6f453bf03007f391d347dc821e507cdd924d1bftrawick
f6f453bf03007f391d347dc821e507cdd924d1bftrawickConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
f6f453bf03007f391d347dc821e507cdd924d1bftrawick    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
f6f453bf03007f391d347dc821e507cdd924d1bftrawick
205f4595abf32ae208958d7f8abea68b335c9f39trawickCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
205f4595abf32ae208958d7f8abea68b335c9f39trawick    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
205f4595abf32ae208958d7f8abea68b335c9f39trawick
205f4595abf32ae208958d7f8abea68b335c9f39trawickCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
1078b2c97bb39352bae929d2ed3f290a420470a7ianh    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
1078b2c97bb39352bae929d2ed3f290a420470a7ianh
1078b2c97bb39352bae929d2ed3f290a420470a7ianhCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
1078b2c97bb39352bae929d2ed3f290a420470a7ianh    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
1078b2c97bb39352bae929d2ed3f290a420470a7ianh
1078b2c97bb39352bae929d2ed3f290a420470a7ianhCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
1078b2c97bb39352bae929d2ed3f290a420470a7ianh    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
b6135e7458bf348c694157b042786562d2b86e18ianh
a8d5ccbcbde8cb6cf3a9dcf2eb05f393ab76baa9ianhSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
611e46c801a6bd62e58a7f68abe1d2bbba473a92aaron    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
611e46c801a6bd62e58a7f68abe1d2bbba473a92aaron
611e46c801a6bd62e58a7f68abe1d2bbba473a92aaronOWL/ATC_OWL.der.hs: $(OWL_files) $(GENRULES)
611e46c801a6bd62e58a7f68abe1d2bbba473a92aaron    $(GENRULECALL) -i OWL.ReadWrite -o $@ $(OWL_files)
4224d5789080ea5586d49420da1e1996f5653bb5ianh
4224d5789080ea5586d49420da1e1996f5653bb5ianhVSE/ATC_VSE.der.hs: $(VSE_files) $(GENRULES)
fd3fa792f04fc9c4e8f5f83dceb0fc34e71f8570ianh    $(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
2d2e3667d789f527a04ce6a0089621470c8143ccmartin
2d2e3667d789f527a04ce6a0089621470c8143ccmartinOMDoc/ATC_OMDoc.der.hs: $(OMDoc_files) $(GENRULES)
2d2e3667d789f527a04ce6a0089621470c8143ccmartin    $(GENRULECALL) -i OMDoc.ATerm -o $@ $(OMDoc_files)
2d2e3667d789f527a04ce6a0089621470c8143ccmartin
2d2e3667d789f527a04ce6a0089621470c8143ccmartinDFOL/ATC_DFOL.der.hs: $(DFOL_files) $(GENRULES)
2d2e3667d789f527a04ce6a0089621470c8143ccmartin    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(DFOL_files)
2d2e3667d789f527a04ce6a0089621470c8143ccmartin
2d2e3667d789f527a04ce6a0089621470c8143ccmartinLF/ATC_LF.der.hs: $(LF_files) $(GENRULES)
2d2e3667d789f527a04ce6a0089621470c8143ccmartin    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(LF_files)
2d2e3667d789f527a04ce6a0089621470c8143ccmartin
9b0141308bc27f61d82742c198356975aa6b488abrianpFramework/ATC_Framework.der.hs: $(Framework_files) $(GENRULES)
9b0141308bc27f61d82742c198356975aa6b488abrianp    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(Framework_files)
9b0141308bc27f61d82742c198356975aa6b488abrianp
fd3fa792f04fc9c4e8f5f83dceb0fc34e71f8570ianhMaude/ATC_Maude.der.hs: $(Maude_files) $(GENRULES)
fd3fa792f04fc9c4e8f5f83dceb0fc34e71f8570ianh    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(Maude_files)
fd3fa792f04fc9c4e8f5f83dceb0fc34e71f8570ianh
fd3fa792f04fc9c4e8f5f83dceb0fc34e71f8570ianhExtModal/ATC_ExtModal.der.hs: $(ExtModal_files) $(GENRULES)
22d348febc3c258df246ac93e37945398dbf0348ianh    $(GENRULECALL)  -i CASL.ATC_CASL -o $@ $(ExtModal_files)
22d348febc3c258df246ac93e37945398dbf0348ianh
7a95e47ff0d0e4306df0901d56131b49dca5691etrawickCSL/ATC_CSL.der.hs: $(CSL_files) $(GENRULES)
62af8654f682ca4913636bae099bec0befab985ctrawick    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CSL_files)
62af8654f682ca4913636bae099bec0befab985ctrawick
62af8654f682ca4913636bae099bec0befab985ctrawickCommonLogic/ATC_CommonLogic.der.hs: $(CommonLogic_files) $(GENRULES)
62af8654f682ca4913636bae099bec0befab985ctrawick    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(CommonLogic_files)
1e557a77c091a1d2f2872872a7c20e9f2ffccbc1aaron
1e557a77c091a1d2f2872872a7c20e9f2ffccbc1aaronAdl/ATC_Adl.der.hs: $(Adl_files) $(GENRULES)
1e557a77c091a1d2f2872872a7c20e9f2ffccbc1aaron    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(Adl_files)
1e557a77c091a1d2f2872872a7c20e9f2ffccbc1aaron
5e98e52df07f59be456af01ebf46d81defef2385trawickFpl/ATC_Fpl.der.hs: $(Fpl_files) $(GENRULES)
5e98e52df07f59be456af01ebf46d81defef2385trawick    $(GENRULECALL)  -i CASL.ATC_CASL -o $@ $(Fpl_files)
5e98e52df07f59be456af01ebf46d81defef2385trawick
5e98e52df07f59be456af01ebf46d81defef2385trawickTHF/ATC_THF.der.hs: $(THF_files) $(GENRULES)
7a95e47ff0d0e4306df0901d56131b49dca5691etrawick    $(GENRULECALL)  -o $@ $(THF_files)
7a95e47ff0d0e4306df0901d56131b49dca5691etrawick
1e557a77c091a1d2f2872872a7c20e9f2ffccbc1aaronFreeCAD/ATC_FreeCAD.der.hs: $(FreeCAD_files) $(GENRULES)
7a95e47ff0d0e4306df0901d56131b49dca5691etrawick    $(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $(FreeCAD_files)
b393bdb2e1eabbe4b9b37c5eaeeeca799b2eb324stoddard
b393bdb2e1eabbe4b9b37c5eaeeeca799b2eb324stoddardOWL2/ATC_OWL2.der.hs: $(OWL2_files) $(GENRULES)
b393bdb2e1eabbe4b9b37c5eaeeeca799b2eb324stoddard    $(GENRULECALL) -i ATC.Result -o $@ $(OWL2_files)
6f912b4ad14f622aa8d57f887c8c745e13ff6dbfjerenkrantz
3cd826b00280881e5a2f03d8ec1f8d55802b93dewrowe# all ATC .der.hs files for all logics
3cd826b00280881e5a2f03d8ec1f8d55802b93dewroweatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
3cd826b00280881e5a2f03d8ec1f8d55802b93dewrowe
3cd826b00280881e5a2f03d8ec1f8d55802b93dewrowegenerated_rule_files = $(atc_der_files) $(atc_logic_files)
435c423bdcfa61ff871a9e289d1140f2bac839b8brianp
435c423bdcfa61ff871a9e289d1140f2bac839b8brianp# a rule to create all .der.hs files
435c423bdcfa61ff871a9e289d1140f2bac839b8brianpgenRules: $(generated_rule_files)
435c423bdcfa61ff871a9e289d1140f2bac839b8brianp
bf9e1eb04f8b0af835d15ac1d0ebcd8a154474cfjerenkrantz# the final ATC target files created by DriFT
e93cea6246ce30bf9791530a15c56f9e2eecf9cbianhgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
e93cea6246ce30bf9791530a15c56f9e2eecf9cbianh
f65342c1467751310036d4f9d75f554eaaf01cc6wrowe# files to be processed by utils/InlineAxioms
f65342c1467751310036d4f9d75f554eaaf01cc6wroweinline_axiom_files = Comorphisms/Modal2CASL.hs CASL_DL/PredefinedSign.hs
960eba6c6d512880c3ed0516f5d15c6e7bc7581ajerenkrantz
960eba6c6d512880c3ed0516f5d15c6e7bc7581ajerenkrantzgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
960eba6c6d512880c3ed0516f5d15c6e7bc7581ajerenkrantz
45613d36b9466a48def0498cffa07f48980720f8jerenkrantz# all sources that need to be created before ghc can be called
45613d36b9466a48def0498cffa07f48980720f8jerenkrantzderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
45613d36b9466a48def0498cffa07f48980720f8jerenkrantz    $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files)
6f912b4ad14f622aa8d57f887c8c745e13ff6dbfjerenkrantz
6f912b4ad14f622aa8d57f887c8c745e13ff6dbfjerenkrantz####################################################################
1abe6003aeb198cc97263503bceed457a6c2cb4aaaron### targets
1abe6003aeb198cc97263503bceed457a6c2cb4aaaron
1abe6003aeb198cc97263503bceed457a6c2cb4aaaron.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
cbd8d35ca8d9780f1081f30ebfe4abda44cab7ebianh    real_clean bin_clean package_clean distclean packages \
cbd8d35ca8d9780f1081f30ebfe4abda44cab7ebianh    programatica_pkg aterm_pkg maintainer-clean annos \
cbd8d35ca8d9780f1081f30ebfe4abda44cab7ebianh    check capa hacapa h2h h2hf showKP clean_genRules genRules \
cbd8d35ca8d9780f1081f30ebfe4abda44cab7ebianh    count doc fromKif derivedSources release cgi ghci build
cbd8d35ca8d9780f1081f30ebfe4abda44cab7ebianh
cbd8d35ca8d9780f1081f30ebfe4abda44cab7ebianh.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
0dc14774d2c21baf6123fcafdb853af5be1d97edwrowe
3ad5a1fa75e728431fa7b8e3d8a74bcadcd79d4dlars$(SETUP): utils/Setup.hs
3ad5a1fa75e728431fa7b8e3d8a74bcadcd79d4dlars    $(HC) --make -O -o $@ $<
3ad5a1fa75e728431fa7b8e3d8a74bcadcd79d4dlars
3fde4c273ea649d1320ec9c51e7d096cd9340a94jerenkrantzpackages: programatica_pkg
3fde4c273ea649d1320ec9c51e7d096cd9340a94jerenkrantz
3fde4c273ea649d1320ec9c51e7d096cd9340a94jerenkrantzprogramatica_pkg:
75eee56d2eaac9c27d32fc46b90bb6b1eac85359trawick
75eee56d2eaac9c27d32fc46b90bb6b1eac85359trawickhets-opt:
0dc14774d2c21baf6123fcafdb853af5be1d97edwrowe    $(MAKE) distclean
0dc14774d2c21baf6123fcafdb853af5be1d97edwrowe    $(MAKE) derivedSources
741a54303329728b27fe347447a362e1c576135etrawick    $(MAKE) clean
0dc14774d2c21baf6123fcafdb853af5be1d97edwrowe    $(MAKE) hets-optimized
9f62694a8b4e2b88994a14555d144b3836b311cfstoddard
9f62694a8b4e2b88994a14555d144b3836b311cfstoddardhets-optimized: $(derived_sources)
9f62694a8b4e2b88994a14555d144b3836b311cfstoddard    $(HC) --make -O -o hets hets.hs $(HC_OPTS)
9f62694a8b4e2b88994a14555d144b3836b311cfstoddard
52489511342e4ff3fe399e57f29d38e5c4227bc8trawickcgi:
52489511342e4ff3fe399e57f29d38e5c4227bc8trawick    $(MAKE) distclean
52489511342e4ff3fe399e57f29d38e5c4227bc8trawick    $(MAKE) derivedSources
52489511342e4ff3fe399e57f29d38e5c4227bc8trawick    $(MAKE) clean
8864d6f5f4744b5d2b638e2a53e2660bcf8b5ab5dougm    $(MAKE) hets.cgi
8864d6f5f4744b5d2b638e2a53e2660bcf8b5ab5dougm
8864d6f5f4744b5d2b638e2a53e2660bcf8b5ab5dougmhets.cgi: GUI/hets_cgi.hs
ea512a4af20e6b6e6931de4929d54d93f03a0139ianh    ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O
1e83c8de3aa48b316b28057d53995272baf1260cwrowe
1dfb5e008f35ed13c343b7f6306675e33c399792gstein# Documentation via haddock
1dfb5e008f35ed13c343b7f6306675e33c399792gsteindoc: docs/index.html
1dfb5e008f35ed13c343b7f6306675e33c399792gstein
1dfb5e008f35ed13c343b7f6306675e33c399792gsteinHADDOCK_INTERFACES = $(shell find `ghc --print-libdir`/../.. -name \*.haddock)
eadb64379834961679105b7fd4178253fbb9f95dtrawick
eadb64379834961679105b7fd4178253fbb9f95dtrawickHAD_INTS = $(foreach file, $(HADDOCK_INTERFACES),\
eadb64379834961679105b7fd4178253fbb9f95dtrawick -i http://hackage.haskell.org/packages/archive/$(basename $(notdir $(file)))/latest/doc/html,$(file))
eadb64379834961679105b7fd4178253fbb9f95dtrawick
eadb64379834961679105b7fd4178253fbb9f95dtrawickHADDOCK_OPTS = $(addprefix --optghc=, $(HC_OPTS))
c7e917aa56886c47bfe061c5e9f603a5aaef0d87trawickdocs/index.html:
c7e917aa56886c47bfe061c5e9f603a5aaef0d87trawick    $(RM) -r docs
c7e917aa56886c47bfe061c5e9f603a5aaef0d87trawick    mkdir docs
b8daf4c5ea3d5bb2111b1b021de6d3cd891e403bcoar    $(HADDOCK) --ignore-all-exports -o docs -h -s ../%F $(HAD_INTS) \
b8daf4c5ea3d5bb2111b1b021de6d3cd891e403bcoar            -t 'Hets - the Heterogeneous Tool Set' \
b8daf4c5ea3d5bb2111b1b021de6d3cd891e403bcoar            -p Hets-Haddock-Prologue.txt $(HADDOCK_OPTS) \
b8daf4c5ea3d5bb2111b1b021de6d3cd891e403bcoar             Syntax/ADoc.hs $(filter-out Scratch.hs, $(wildcard *.hs)) \
b8daf4c5ea3d5bb2111b1b021de6d3cd891e403bcoar             Static/ChangeGraph.hs
6b6083e6518007139257ee449c2af3032d2437d0trawick
6b6083e6518007139257ee449c2af3032d2437d0trawickderivedSources: $(derived_sources)
6b6083e6518007139257ee449c2af3032d2437d0trawick
88dd056b9863502bba82c2889a0c4cde9fc0ba93trawick$(DRIFT): $(DRIFT_deps)
88dd056b9863502bba82c2889a0c4cde9fc0ba93trawick    (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT)
88dd056b9863502bba82c2889a0c4cde9fc0ba93trawick
88dd056b9863502bba82c2889a0c4cde9fc0ba93trawick$(GENRULES): $(DRIFT) $(GENERATERULES_deps)
7ef3a1797818c6d25efe8c5fadb5eec3b965a6fabrianp    (cd utils/GenerateRules; \
7ef3a1797818c6d25efe8c5fadb5eec3b965a6fabrianp            $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
7ef3a1797818c6d25efe8c5fadb5eec3b965a6fabrianp                GenerateRules.hs -o ../genRules)
1e83c8de3aa48b316b28057d53995272baf1260cwrowe
1e83c8de3aa48b316b28057d53995272baf1260cwrowe# "-package hssource" for ghc-5.04.2
1e83c8de3aa48b316b28057d53995272baf1260cwrowe$(INLINEAXIOMS): $(INLINEAXIOMS_deps)
1e83c8de3aa48b316b28057d53995272baf1260cwrowe    $(HC) $(PARSEC_FLAG) --make utils/InlineAxioms/InlineAxioms.hs \
1e83c8de3aa48b316b28057d53995272baf1260cwrowe          $(HC_WARN) $(HC_PROF) -i../.. -o $(INLINEAXIOMS)
1e83c8de3aa48b316b28057d53995272baf1260cwrowe
1e83c8de3aa48b316b28057d53995272baf1260cwroweutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
1e83c8de3aa48b316b28057d53995272baf1260cwrowe    $(HC) --make -o $@ $<
1e83c8de3aa48b316b28057d53995272baf1260cwrowe
1e83c8de3aa48b316b28057d53995272baf1260cwrowe# release management
7f683bb300df767164724ebc664f339ac396b434dougmREV = trunk
7f683bb300df767164724ebc664f339ac396b434dougmrelease:
7f683bb300df767164724ebc664f339ac396b434dougm    $(RM) -r Hets
7f683bb300df767164724ebc664f339ac396b434dougm    svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
7f683bb300df767164724ebc664f339ac396b434dougm    (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \
7f683bb300df767164724ebc664f339ac396b434dougm            cp Makefile Makefile.orig; \
7f683bb300df767164724ebc664f339ac396b434dougm            cp ReleaseMakefile Makefile; \
26dfa083a1662d57ba7cc410eec4e0696b9be469wrowe            ./clean.sh; \
26dfa083a1662d57ba7cc410eec4e0696b9be469wrowe            find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
26dfa083a1662d57ba7cc410eec4e0696b9be469wrowe            $(RM) clean.*; utils/replaceAllHeaders.sh)
26dfa083a1662d57ba7cc410eec4e0696b9be469wrowe    $(TAR) cvf Hets.tar Hets
4760aa1f19600972cf531ad7da73c1ee5a0225cedougm
4760aa1f19600972cf531ad7da73c1ee5a0225cedougm# Common/LaTeX_maps.hs generation
87a1c79b7b37702a254920ca5214fb282a4fb085dougmutils/genItCorrections: $(GENITCORRECTIONS_deps)
994c3fbc3335e8fe883b1ce4515efc0c85061cdfaaron    $(HC) --make -o $@ $<
d5d164b22a2004abed640cb52fc275f00ed92f69jerenkrantz
e93d563852e1fa7a8c73af3b807916b41942d2f6dreidpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
e93d563852e1fa7a8c73af3b807916b41942d2f6dreid    pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
e93d563852e1fa7a8c73af3b807916b41942d2f6dreid    @echo -n "Generating pretty/LaTeX_maps.hs ... "
e93d563852e1fa7a8c73af3b807916b41942d2f6dreid    @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
e93d563852e1fa7a8c73af3b807916b41942d2f6dreid    @(cd pretty >/dev/null; ../utils/genItCorrections \
525508562a53864b78cf8da91ac13be9c072bba7jerenkrantz            gen_it_characters gen_it_words >> LaTeX_maps.hs)
525508562a53864b78cf8da91ac13be9c072bba7jerenkrantz    @echo "ready"
525508562a53864b78cf8da91ac13be9c072bba7jerenkrantz    @echo "please copy the file manually to Common"
f1fe10268cdadb775eef841aa4fa7305291d35fdtrawick
f1fe10268cdadb775eef841aa4fa7305291d35fdtrawick### clean up
f1fe10268cdadb775eef841aa4fa7305291d35fdtrawickclean_genRules:
f1fe10268cdadb775eef841aa4fa7305291d35fdtrawick    $(RM) $(generated_rule_files) $(gendrifted_files) \
f04ad0ba7fe0eea5ea7a92f852cef75747ab2090trawick            $(hs_clean_files)
f04ad0ba7fe0eea5ea7a92f852cef75747ab2090trawick
f04ad0ba7fe0eea5ea7a92f852cef75747ab2090trawickclean: bin_clean o_clean clean_pretty clean_javastuff
65a1588701f9e5d0f62261d0da85733a23edc92ftrawick
65a1588701f9e5d0f62261d0da85733a23edc92ftrawick### removes all *.o, *.hi and *.p_o files in all subdirectories
65a1588701f9e5d0f62261d0da85733a23edc92ftrawicko_clean:
65a1588701f9e5d0f62261d0da85733a23edc92ftrawick    find . -name \*.o -o -name \*.hi -o -name \*.p_o \
65a1588701f9e5d0f62261d0da85733a23edc92ftrawick        -o -name \*.exe -o -name \*.exe.manifest | xargs $(RM)
d5d164b22a2004abed640cb52fc275f00ed92f69jerenkrantz
d5d164b22a2004abed640cb52fc275f00ed92f69jerenkrantz### remove binaries
d5d164b22a2004abed640cb52fc275f00ed92f69jerenkrantzbin_clean:
360a9d933a8c25f5975e0ddc883607a5d37e408estoddard    $(RM) hets
360a9d933a8c25f5975e0ddc883607a5d37e408estoddard    $(RM) hets.cgi
360a9d933a8c25f5975e0ddc883607a5d37e408estoddard    $(RM) $(SETUP)
360a9d933a8c25f5975e0ddc883607a5d37e408estoddard    $(RM) $(TESTTARGETS)
9b8afc47122e9b0eabb860b6ba2cf9c061c6060fstoddard
9b8afc47122e9b0eabb860b6ba2cf9c061c6060fstoddardclean_pretty:
9b8afc47122e9b0eabb860b6ba2cf9c061c6060fstoddard    $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
9b8afc47122e9b0eabb860b6ba2cf9c061c6060fstoddard               pretty/generated_words.tex
a21148678a1459064627d917a66669e7e8d140e6stoddard    $(RM) test/*/*.{thy,pp.het,pp.tex,th,dfg.c,xml,log,dvi,aux,sty}
a21148678a1459064627d917a66669e7e8d140e6stoddard    $(RM) test/*/log
910df8b3f50a0515b430b999d4750de94c509f2atrawick    $(RM) ToHaskell/test/*.{out,output}
c6a9d49433c9ba5b18b26c3d764f1bbcb9746090wrowe    $(RM) */test/temp*
c6a9d49433c9ba5b18b26c3d764f1bbcb9746090wrowe    $(RM) doc/UserGuide.{log,aux,bbl,blg,out,pdf}
c6a9d49433c9ba5b18b26c3d764f1bbcb9746090wrowe
51be7fc538641ed7cb22e959eb31629f7183f70fianhclean_javastuff:
51be7fc538641ed7cb22e959eb31629f7183f70fianh    $(RM) OWL/*.jar OWL/java/lib/*.jar
bb6a7fc0427d0d197c50de34b94a0d23e5732696wrowe    $(RM) -r OWL/java/build OWL/lib
bb6a7fc0427d0d197c50de34b94a0d23e5732696wrowe
bb6a7fc0427d0d197c50de34b94a0d23e5732696wrowe### additionally removes the library files
bb6a7fc0427d0d197c50de34b94a0d23e5732696wrowereal_clean: clean
decd0c23bb26f6662f4b963cf86ee569613bffeagregames
decd0c23bb26f6662f4b963cf86ee569613bffeagregames### clean user packages
decd0c23bb26f6662f4b963cf86ee569613bffeagregamespackage_clean:
e1753aabf5df187b5b04e72a958af4b65b1a125daaron    $(HCPKG) unregister programatica --user || exit 0
e1753aabf5df187b5b04e72a958af4b65b1a125daaron    $(HCPKG) unregister aterm --user || exit 0
e1753aabf5df187b5b04e72a958af4b65b1a125daaron
e1753aabf5df187b5b04e72a958af4b65b1a125daaron### additionally removes generated files not in the CVS tree
e1753aabf5df187b5b04e72a958af4b65b1a125daarondistclean: clean clean_genRules
e1753aabf5df187b5b04e72a958af4b65b1a125daaron    $(RM) $(derived_sources)
e1753aabf5df187b5b04e72a958af4b65b1a125daaron    $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
e57f991fe2b9a4c080cd50ca913a2a5693b096b5aaron    $(RM) CASL_DL/PredefinedSign.inline.hs CASL_DL/PredDatatypes.het
e57f991fe2b9a4c080cd50ca913a2a5693b096b5aaron    $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
e57f991fe2b9a4c080cd50ca913a2a5693b096b5aaron    $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
924c8dd40352ca7775704a31a7a77ab86dc951b4ianh    $(RM) -r docs
924c8dd40352ca7775704a31a7a77ab86dc951b4ianh
910df8b3f50a0515b430b999d4750de94c509f2atrawickmaintainer-clean: distclean package_clean
910df8b3f50a0515b430b999d4750de94c509f2atrawick    $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
910df8b3f50a0515b430b999d4750de94c509f2atrawick
910df8b3f50a0515b430b999d4750de94c509f2atrawick### interactive
0d628dd174dd6de13463b10d2599f6cac24e9fe8brianpghci: $(derived_sources)
0d628dd174dd6de13463b10d2599f6cac24e9fe8brianp    ghci $(HC_OPTS)
0d628dd174dd6de13463b10d2599f6cac24e9fe8brianp
2fee4fe267fa3577fd71d8c314fe9b527e2b90c0brianp### build only, don't link
2fee4fe267fa3577fd71d8c314fe9b527e2b90c0brianpbuild: hets.hs packages
2fee4fe267fa3577fd71d8c314fe9b527e2b90c0brianp    $(HC) --make -c $< $(HC_OPTS)
2fee4fe267fa3577fd71d8c314fe9b527e2b90c0brianp
7bf77d70b6830636bc36e6b76a228c301be23ff7brianp### Kif parser
7bf77d70b6830636bc36e6b76a228c301be23ff7brianpfromKif: CASL/fromKif
7bf77d70b6830636bc36e6b76a228c301be23ff7brianp
185b73b1f914e5d8f99f31225cc656b882dcbf73ianh### Annos parser
6ef713e25735887d4a59a879b97a68bd575ecb92trawickannos: Common/annos
cef5cb47e2ea4c174c01762d4430613db0f41e5cstoddard
cef5cb47e2ea4c174c01762d4430613db0f41e5cstoddard### CASL parser
cef5cb47e2ea4c174c01762d4430613db0f41e5cstoddardcapa: CASL/capa
1eb1f02a23de724c105b2c6c9fbd469a611059c6trawick
8abd60101b9794e224795ccf68b8ba984efbc94astoddard### HasCASL parser
8abd60101b9794e224795ccf68b8ba984efbc94astoddardhacapa: HasCASL/hacapa
ca47a2b6bcea23e8af185c68f256dcbbfd2a0f9dtrawick
ca47a2b6bcea23e8af185c68f256dcbbfd2a0f9dtrawick### Haskell analysis
6ef713e25735887d4a59a879b97a68bd575ecb92trawickhana: Haskell/hana
6ef713e25735887d4a59a879b97a68bd575ecb92trawick
ca47a2b6bcea23e8af185c68f256dcbbfd2a0f9dtrawick### Haskell to Isabelle-HOLCF translation
26d590c0e5338f66ca1aad6f925374843fac5121stoddardh2hf: Haskell/h2hf
26d590c0e5338f66ca1aad6f925374843fac5121stoddard
26d590c0e5338f66ca1aad6f925374843fac5121stoddardHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
26d590c0e5338f66ca1aad6f925374843fac5121stoddard    Common/Lib/*.hs Comorphisms/*.hs
26d590c0e5338f66ca1aad6f925374843fac5121stoddard    $(HC) -O --make -o $@ $< $(HC_OPTS)
2b31ac2c6342d2afcf67b7b0f08c928a87f98c74wrowe
d472f67198d6b15dd1270136f180cca9c9263243trawick### HasCASL to Haskell translation
d472f67198d6b15dd1270136f180cca9c9263243trawickh2h: Haskell/h2h
d472f67198d6b15dd1270136f180cca9c9263243trawick
d472f67198d6b15dd1270136f180cca9c9263243trawick### test program to check the known provers
d472f67198d6b15dd1270136f180cca9c9263243trawickshowKP: Comorphisms/test/showKP
d472f67198d6b15dd1270136f180cca9c9263243trawick
d472f67198d6b15dd1270136f180cca9c9263243trawick### run tests in other directories
a3bb95a3600153c7f09f62749e32093658943c32brianpcheck: $(TESTTARGETS)
a3bb95a3600153c7f09f62749e32093658943c32brianp    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
a3bb95a3600153c7f09f62749e32093658943c32brianp
b760518cc17e7124ba546ed63063603f1ab82a40aaron## Preparing the version of Hets
b760518cc17e7124ba546ed63063603f1ab82a40aaronDriver/Version.hs: Driver/Version.in version_nr
b760518cc17e7124ba546ed63063603f1ab82a40aaron    $(RM) $@
b760518cc17e7124ba546ed63063603f1ab82a40aaron    LANG=C $(PERL) utils/build_version.pl version_nr \
b760518cc17e7124ba546ed63063603f1ab82a40aaron            < Driver/Version.in > $@
b760518cc17e7124ba546ed63063603f1ab82a40aaron    chmod 444 $@
b760518cc17e7124ba546ed63063603f1ab82a40aaron
b760518cc17e7124ba546ed63063603f1ab82a40aaron## two hardcoded dependencies for a correct generation of Version.hs
23d8f62856c1531526042e1c5edf44557cadd2e5trawickDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
23d8f62856c1531526042e1c5edf44557cadd2e5trawickhets.hs: Driver/Version.hs
23d8f62856c1531526042e1c5edf44557cadd2e5trawick
705c8ed3ef608706c91ca12483d7b54ff9007cc9jerenkrantzATC/DevGraph.hs: Static/DevGraph.hs
705c8ed3ef608706c91ca12483d7b54ff9007cc9jerenkrantz
705c8ed3ef608706c91ca12483d7b54ff9007cc9jerenkrantz## two dependencies to avoid circular prerequisites
ef154948c97c53cdc1ad5329cb83c32ad26cf416aaronCASL_DEPENDENT_BINARIES = hets CASL/capa CASL/fromKif \
ef154948c97c53cdc1ad5329cb83c32ad26cf416aaron   Common/annos Common/test_parser Comorphisms/test/showKP \
ef154948c97c53cdc1ad5329cb83c32ad26cf416aaron   CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
c6741d11357aace4c9ba39535d3cb2d751f46114trawick   Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
c6741d11357aace4c9ba39535d3cb2d751f46114trawick
c6741d11357aace4c9ba39535d3cb2d751f46114trawick$(CASL_DEPENDENT_BINARIES): $(derived_sources)
c6741d11357aace4c9ba39535d3cb2d751f46114trawick
7230f1eb017a35b7d20e0e9ec0d234766f2a732dtrawick## suffix rules
7230f1eb017a35b7d20e0e9ec0d234766f2a732dtrawick.SUFFIXES:
86a5d34400b7f586ad2cca97c8b33b2f55bac61btrawick
86a5d34400b7f586ad2cca97c8b33b2f55bac61btrawick## rule for GHC
86a5d34400b7f586ad2cca97c8b33b2f55bac61btrawick%: %.hs packages
86a5d34400b7f586ad2cca97c8b33b2f55bac61btrawick    $(HC) --make -o $@ $< $(HC_OPTS)
86a5d34400b7f586ad2cca97c8b33b2f55bac61btrawick
86a5d34400b7f586ad2cca97c8b33b2f55bac61btrawick## rule for HAPPY
86a5d34400b7f586ad2cca97c8b33b2f55bac61btrawick%.hs: %.y
6b477c0a238733ca8fd156629310513d29dc7e02trawick    $(HAPPY) -o $@.tmp $<
6b477c0a238733ca8fd156629310513d29dc7e02trawick    echo "{-# OPTIONS -w #-}" > $@
6b477c0a238733ca8fd156629310513d29dc7e02trawick    cat $@.tmp >> $@
6b477c0a238733ca8fd156629310513d29dc7e02trawick    $(RM) $@.tmp
2b31ac2c6342d2afcf67b7b0f08c928a87f98c74wrowe
2b31ac2c6342d2afcf67b7b0f08c928a87f98c74wrowe## rule for DrIFT
557eb8d48357657fa898250560f089c65539c634gregames%.hs: %.der.hs $(DRIFT)
557eb8d48357657fa898250560f089c65539c634gregames    $(RM) $@
557eb8d48357657fa898250560f089c65539c634gregames    ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
adb8c5e5291be5943122bbff404bc1018c79d555ianh    chmod 444 $@
25b715e9687f82ea055fdea2a9761c7e5f1ac6eetrawick
25b715e9687f82ea055fdea2a9761c7e5f1ac6eetrawick## rule for inlineAxioms
25b715e9687f82ea055fdea2a9761c7e5f1ac6eetrawick%.hs: %.inline.hs $(INLINEAXIOMS)
25b715e9687f82ea055fdea2a9761c7e5f1ac6eetrawick    $(RM) $@
51ced3b28ef430a96586284d4320f7dbdaf7225ebrianp    $(INLINEAXIOMS) $< > $@
51ced3b28ef430a96586284d4320f7dbdaf7225ebrianp    chmod 444 $@
51ced3b28ef430a96586284d4320f7dbdaf7225ebrianp
a222035458f89e2db231450ba6d5fae8052da5f5aaron## rule for cpp and haddock
a222035458f89e2db231450ba6d5fae8052da5f5aaron%.hspp: %.hs
a222035458f89e2db231450ba6d5fae8052da5f5aaron    $(HC) -E -cpp -D__HADDOCK__ \
a222035458f89e2db231450ba6d5fae8052da5f5aaron            -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
4a872628ca5bf20847f442a625c255b643120db0wrowe
4a872628ca5bf20847f442a625c255b643120db0wrowe## compiling rules for object and interface files
4a872628ca5bf20847f442a625c255b643120db0wrowe%.o %.hi: %.hs
74528257888620220641cd28366731539a37e1f3ianh    $(HC) -c $< $(HC_OPTS)
74528257888620220641cd28366731539a37e1f3ianh
74528257888620220641cd28366731539a37e1f3ianh%.o %.hi: %.lhs
0632de713e41fa3aa928a1777677b0d79843ae2bdougm    $(HC) -c $< $(HC_OPTS)
0632de713e41fa3aa928a1777677b0d79843ae2bdougm
0cc82c261350ab8dc8a9992cad7197c4d22d597eianh## compiling rules for dependencies
f2afeedf074acc1a698a9527154eacd138e6c5a1trawick%.d : %.hs
855e263a93fde2e30d10a48a9ffc047039bfc9d9brianp    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
855e263a93fde2e30d10a48a9ffc047039bfc9d9brianp
855e263a93fde2e30d10a48a9ffc047039bfc9d9brianp%.d : %.lhs
855e263a93fde2e30d10a48a9ffc047039bfc9d9brianp    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
54b3b7946d22324cea615d7c8a4ff0c9eadd1f8crbb
54b3b7946d22324cea615d7c8a4ff0c9eadd1f8crbb## Rule to generate hs files from glade files. Needed for GTK
54b3b7946d22324cea615d7c8a4ff0c9eadd1f8crbb%.hs: %.glade utils/appendHaskellPreludeString \
54b3b7946d22324cea615d7c8a4ff0c9eadd1f8crbb  GUI/Glade/Template.append.hs
54b3b7946d22324cea615d7c8a4ff0c9eadd1f8crbb    b=`basename $< .glade`; \
e28c02dc08247d3fcb71e81791cac2311a248dfdrbb    cat GUI/Glade/Template.append.hs | sed "s/\%s/$$b/" | \
e28c02dc08247d3fcb71e81791cac2311a248dfdrbb    utils/appendHaskellPreludeString $< > $@
e28c02dc08247d3fcb71e81791cac2311a248dfdrbb
e28c02dc08247d3fcb71e81791cac2311a248dfdrbb## generate the inline file for the predefined CASL_DL sign
e28c02dc08247d3fcb71e81791cac2311a248dfdrbbCASL_DL/PredefinedSign.inline.hs:  \
e28c02dc08247d3fcb71e81791cac2311a248dfdrbb     CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
e28c02dc08247d3fcb71e81791cac2311a248dfdrbb     CASL_DL/PredDatatypes.het
f9f506f0686ad065b4c6fe14dd962cdd478350dbianh    $(RM) $@
f9f506f0686ad065b4c6fe14dd962cdd478350dbianh    utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
f9f506f0686ad065b4c6fe14dd962cdd478350dbianh          < CASL_DL/PredefinedSign.inline.hs.in > $@
9d0665da83d1e22c0ea0e5f6f940f70f75bf5237ianh    echo "  )" >> $@
9d0665da83d1e22c0ea0e5f6f940f70f75bf5237ianh    chmod 444 $@
9d0665da83d1e22c0ea0e5f6f940f70f75bf5237ianh
9d0665da83d1e22c0ea0e5f6f940f70f75bf5237ianh# Warning: Don't change the order of the depencies!!
9d0665da83d1e22c0ea0e5f6f940f70f75bf5237ianhCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
47c2fb4c1f155ddb6954e46e7f6d125eef78b3bbaaron     CASL_DL/Datatypes.het
47c2fb4c1f155ddb6954e46e7f6d125eef78b3bbaaron    $(RM) $@
47c2fb4c1f155ddb6954e46e7f6d125eef78b3bbaaron    $(PERL) $+ > $@
47c2fb4c1f155ddb6954e46e7f6d125eef78b3bbaaron    chmod 444 $@
9ca934cec0a1cc3c425fde5dc51956bce6cd3183brianp
9ca934cec0a1cc3c425fde5dc51956bce6cd3183brianp## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
9ca934cec0a1cc3c425fde5dc51956bce6cd3183brianp# uses intransparently utils/outlineAxioms
0cdca1e056a05a09fe16fe736abcf79969c9767ejerenkrantzModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
0cdca1e056a05a09fe16fe736abcf79969c9767ejerenkrantz    utils/genTransMFormFunc.pl $(INLINEAXIOMS)
0cdca1e056a05a09fe16fe736abcf79969c9767ejerenkrantz    $(RM) $@
f2afeedf074acc1a698a9527154eacd138e6c5a1trawick    $(PERL) utils/genTransMFormFunc.pl $< $@
f2afeedf074acc1a698a9527154eacd138e6c5a1trawick    chmod 444 $@
f2afeedf074acc1a698a9527154eacd138e6c5a1trawick
0a2d57d962bef3a8898723925b3fb02d2e836994dougm# directory for installers
0a2d57d962bef3a8898723925b3fb02d2e836994dougmINSTALLER_DIR = ../installers
2a20a2f8432a15b530e0a6b0998c32f40aef82a8gregames
06461d67f387ea068187e6dfa036875a8205c04cjerenkrantzifeq ($(strip $(HETS_VERSION)),)
06461d67f387ea068187e6dfa036875a8205c04cjerenkrantzHETS_VERSION := `cat version_nr`
900127764fb985c340ee4979cac97146a330c694trawick# or `date +%F`
900127764fb985c340ee4979cac97146a330c694trawickendif
1a6a0072a95887164091e366ba0e89c2b39a954abrianp
1a6a0072a95887164091e366ba0e89c2b39a954abrianp# prepare installer creation
1a6a0072a95887164091e366ba0e89c2b39a954abrianpinitialize_installer:
6f4c27ba6e152792f3729069e8d8313ebc87cc60jwoolley    mkdir -p $(INSTALLER_DIR)
6f4c27ba6e152792f3729069e8d8313ebc87cc60jwoolley    sed "s/^\(HETS_VERSION =\).*/\1$(HETS_VERSION)/" Makefile.installer \
6f4c27ba6e152792f3729069e8d8313ebc87cc60jwoolley          > $(INSTALLER_DIR)/Makefile
23ce412bd50a47accab4dd26019b78810bbf46ebtrawick    @echo Please do
23ce412bd50a47accab4dd26019b78810bbf46ebtrawick    @echo "  -> cd $(INSTALLER_DIR)"
23ce412bd50a47accab4dd26019b78810bbf46ebtrawick    @echo "  -> make"
6865813dee5d3c1ebf12dd810368171792a0190atrawick    @echo and wait until it is finished
6865813dee5d3c1ebf12dd810368171792a0190atrawick
6865813dee5d3c1ebf12dd810368171792a0190atrawick# check out java parts for OWL
97719ad970d779ac48af9364ab0ea9fdcc27470ajwoolleyowl_java:
97719ad970d779ac48af9364ab0ea9fdcc27470ajwoolley    svn co \
97719ad970d779ac48af9364ab0ea9fdcc27470ajwoolley  https://owlapi.svn.sourceforge.net/svnroot/owlapi/owl1_1/trunk \
5ad238c42b1e159ee8f164515e0c4ee6c727c2fdtrawick  OWL/java/OwlApi
5ad238c42b1e159ee8f164515e0c4ee6c727c2fdtrawick
5ad238c42b1e159ee8f164515e0c4ee6c727c2fdtrawickowl2_java:
ba00c3b7c20f00ce631b89ae3b1cd3bae8d1b165rbb    svn co \
ba00c3b7c20f00ce631b89ae3b1cd3bae8d1b165rbb  https://owlapi.svn.sourceforge.net/svnroot/owlapi/v3/trunk \
ba00c3b7c20f00ce631b89ae3b1cd3bae8d1b165rbb  OWL2/java/OwlApi
ba00c3b7c20f00ce631b89ae3b1cd3bae8d1b165rbb
ba00c3b7c20f00ce631b89ae3b1cd3bae8d1b165rbbinitialize_java: owl_java
ba00c3b7c20f00ce631b89ae3b1cd3bae8d1b165rbb    ant -q init
6e954603b02f2b7d4ad80af17d9b3cc6f0bacf69rbb
6e954603b02f2b7d4ad80af17d9b3cc6f0bacf69rbbjava-libs:
6e954603b02f2b7d4ad80af17d9b3cc6f0bacf69rbb    ant -q java-libs
6e954603b02f2b7d4ad80af17d9b3cc6f0bacf69rbb
6e954603b02f2b7d4ad80af17d9b3cc6f0bacf69rbbjava-files:
6e954603b02f2b7d4ad80af17d9b3cc6f0bacf69rbb    ant -q java-files
6e954603b02f2b7d4ad80af17d9b3cc6f0bacf69rbb
6e954603b02f2b7d4ad80af17d9b3cc6f0bacf69rbbjava-clean:
fa449f5bc87c5d87c4c60e778c9c882e7254de7ejwoolley    ant -q java-clean
fa449f5bc87c5d87c4c60e778c9c882e7254de7ejwoolley