Cross Reference: /hets/Makefile

	Makefile revision 5818d884784339c1b8aa6c6d972bad4eafd36ccb
436aad11e01e916f75e68a2e9cb89ac217a990d3Tinderbox User# Makefile
6fe48fb46e53ffc37542853a1edb74cb481b7d94Automatic Updater# $Id$
18920d790825d96ca3943aa2dcb6eb80dc611c5fTinderbox User# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
18920d790825d96ca3943aa2dcb6eb80dc611c5fTinderbox User# Year:   2004
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox User
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox User# This Makefile will compile the new hets system and provides also
c57668a2fbbe558c1bd21652813616f2f517c469Tinderbox User# targets for test programs during implementation phases.
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews
1f4c645185bd8fc70048e0a69eee46193a284e5cTinderbox User# !!! Note: This makefile is written for GNU make !!!
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews#           (gmake on solaris)
bed0874e1a09e810575328c4bfc346a47514b69fMark Andrews
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox Userall: hets
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews####################################################################
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrews## Some varibles, which control the compilation
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrews
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsINCLUDE_PATH =
a7c412f37cc73d0332887a746e81220cbf09dd00Mark AndrewsHAIFA_PATHS = Network Network/Server Org Org/W3 Org/W3/N2001 \
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews    Org/Xmlsoap Org/Xmlsoap/Schemas Org/Xmlsoap/Schemas/Soap \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Text Text/XML Text/XML/HXT Text/XML/Schema Text/XML/Schema/TypeMapper \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Text/XML/Serializer
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrews
e676a596869d8a80a644c99a848afb53d1c5975eMark AndrewsSOURCE_PATHS = . utils/itcor \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    CspCASL ATC Proofs Comorphisms Isabelle Driver \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Taxonomy CASL_DL SoftFOL OWL_DL OMDoc PGIP Propositional
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# the 'replacing spaces' example was taken from the (GNU) Make info manual
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userempty =
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrewsspace = $(empty) $(empty)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User## set ghc imports properly for your system
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsGHC_IMPORTS = `$(HC) --print-libdir`/imports
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User# import directories for ghc-5.04.2
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsGHC5 = $(GHC_IMPORTS)/base:$(GHC_IMPORTS)/haskell98
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserDRIFT_ENV = \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    DERIVEPATH=.:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# override on commandline for other architectures
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox UserINSTALLDIR = \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan Hunt
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserDRIFT_deps = utils/DrIFT-src/*hs
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
24934f08b9ff81c2be711e566e8002d145573031Tinderbox User    Common/Doc.hs CASL/ToDoc.hs Modal/AS_Modal.hs \
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updater    Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan Hunt
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserHC = ghc
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserHCPKG = ghc-pkg
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntPERL = perl
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox UserHAPPY = happy -sga
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterGENRULES = utils/genRules
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updater    -i Data.Typeable -i Common.ATerm.Lib
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsDRIFT = utils/DrIFT
cdfc81e048bd34c1d628380247bda6b80a89e20eAutomatic UpdaterINLINEAXIOMS = utils/outlineAxioms
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHADDOCK = haddock
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsOSBYUNAME = $(shell uname)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsifneq ($(findstring SunOS, $(OSBYUNAME)),)
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterTAR = gtar
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewselse
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTAR = tar
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsendif
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterARCH = $(subst $(space),,$(shell uname -m))
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsSETUP = utils/Setup
eabc9c3c07cd956d3c436bd7614cb162dabdda76Mark AndrewsSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsSETUPPACKAGE = ../$(SETUP) clean; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    ../$(SETUP) configure -p $(SETUPPREFIX); \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install --user
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox User
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox UserHAXMLVERSION = $(shell $(HCPKG) field HaXml version)
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox Userifneq ($(findstring 1.13.2, $(HAXMLVERSION)),)
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox UserHAXML_PACKAGE = -package HaXml -DHAXML_PACKAGE
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox Userendif
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User# remove -fno-warn-orphans for older ghcs and add -ifgl
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserHC_WARN = -Wall -fno-warn-orphans
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserHC_FLAGS = $(HAXML_PACKAGE) \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User    $(HC_WARN) -fglasgow-exts -fallow-overlapping-instances \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User# -ddump-minimal-imports
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox User# uncomment to above line to generate .imports files for displayDependencyGraph
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox UserHC_OPTS_MAC := $(if $(findstring Darwin,$(shell uname -s)), \
27739dd25026283c24645c8a1044b95ef9eb5ac6Tinderbox User    -optl-F$(HOME)/Library/Frameworks -optl-framework -optlGNUreadline,)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
18920d790825d96ca3943aa2dcb6eb80dc611c5fTinderbox UserHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
ad411d8ccf8a27eb903b842ab507ba6729d0246bTinderbox Userlogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SoftFOL \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User    OWL_DL ConstraintCASL Propositional
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
18920d790825d96ca3943aa2dcb6eb80dc611c5fTinderbox UserTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
28a5dd720187fddb16055a0f64b63a7b66f29f64Mark Andrews    ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
77932ac533c711eca5cd86de4e7eca8d91102b43Tinderbox User    Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    SoftFOL/tests/soapTest.hs Comorphisms/test/sublogicGraph.hs
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsifneq ($(strip $(UNI_PACKAGE_CONF)),)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    -package uni-server -DUNI_PACKAGE
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrews# some modules from uni for haddock
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# if uni/server is included also HaXml sources are needed
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Useruni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    ../uni/reactor ../uni/util ../uni/posixutil
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafssonuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(wildcard ../uni/htk/haddock/*/*.hs)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTESTTARGETFILES += OWL_DL/ToHaskellAS.hs Taxonomy/taxonomyTool.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    SoftFOL/tests/CMDL_tests.hs Static/test/TestDGTrans.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsendif
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson### list of directories to run checks in
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserTESTDIRS += Common CASL HasCASL test
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userhs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
28a5dd720187fddb16055a0f64b63a7b66f29f64Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsPFE_TOOLDIR = $(wildcard ../programatica/tools)
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrewsifneq ($(strip $(PFE_TOOLDIR)),)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User    base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
28a5dd720187fddb16055a0f64b63a7b66f29f64Mark Andrews    base/transforms base/transforms/Deriving property \
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User    property/syntax property/AST property/transforms \
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User    property/TI property/defs property/parse2 property/parse2/Parser
28a5dd720187fddb16055a0f64b63a7b66f29f64Mark Andrews
2a31bd531072824ef252c18303859d6af7451b00Francis DupontPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewspfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsPFE_PATH = $(addprefix -i, $(PFE_PATHS))
2a31bd531072824ef252c18303859d6af7451b00Francis DupontPFE_FLAGS = -package programatica -DPROGRAMATICA
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrewshappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrewsprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews            $(LEX_DIR)/HsLex.hs $(SETUP)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    @if $(HCPKG) field programatica version; then \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews          echo "of programatica package found"; else \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews          (patch -usNlp0 -d $(PFE_TOOLDIR) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews            -i `pwd`/Haskell/Programatica.patch || exit 0); \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews          cp -f utils/programatica.cabal ../programatica/tools; \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews          cp -f $(SETUP) ../programatica/tools; \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          (cd ../programatica/tools; \
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User           ./Setup configure $(SETUPPREFIX); \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews           ./Setup build; ./Setup install --user) fi
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
e20788e1216ed720aefa84f3295f7899d9f28c22Mark Andrews$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    echo "{-# OPTIONS -w #-}" > $@
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $< >> $@
01a5c5503482fb3ba52088bf0178a7213273bf96Mark Andrews
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User    $(LEX_DIR)/HsTokens.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(HC) --make -fno-monomorphism-restriction -O \
cdfc81e048bd34c1d628380247bda6b80a89e20eAutomatic Updater           -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews           -i$(PFE_TOOLDIR)/base/lib \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User       -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews              $@.hs -o $@
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    strip $@
fe80a4909bf62b602feaf246866e9d29f7654194Automatic Updater
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userlogics += Haskell
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(LEX_DIR)Gen/HsLexerGen
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
fa0326cc2cf428f67575b6ba3b97b528a31b0010Tinderbox User    $(HC) --make -o $@ $<
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    Haskell/ProgramaticaPrelude.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User## rule for appendHaskellPreludeString
fe80a4909bf62b602feaf246866e9d29f7654194Automatic UpdaterHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(APPENDPRELUDESTRING)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) $@
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(APPENDPRELUDESTRING) < $< > $@
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    chmod 444 $@
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
91216cff91b34c9ff6e846dc23f248219cafe660Andreas GustafssonAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    HsModule HsName HsLiteral HsIdent
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews#files in base/TI/
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
dd65eb1efb40b1c47d57963192bfc54873b219beAutomatic Updater
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    base/parse2/SourceNames base/syntax/SyntaxRec \
133e6d43fa82e80d3798be4de00f4540f485ec6cAutomatic Updater    property/syntax/PropSyntaxStruct
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHaskell_files = $(addsuffix .hs, \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson## rule for ATC generation
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewshs_der_files += $(hs_clean_files)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
5f7586ddbd3edd11272cdd30ed613d936129328bTinderbox UserTESTDIRS += ToHaskell Haskell/test
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsendif
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### Profiling (only for debugging)
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews### Attention every module must be compiled with profiling or the linker
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews### cannot link the various .o files properly. So after switching on
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User### Profiling, do an 'gmake real_clean; gmake'
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User### Comment in the following line for switching on profiling.
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User#HC_PROF = -prof -auto-all -fignore-asserts
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS) $(HC_PROF) \
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews   -DCASLEXTENSIONS $(HC_OPTS_MAC)
7ca715ad1587a68a531ea1cdea07515d7232567eTinderbox User
269519eeb959d905ed125f96426e01d725c3b597Tinderbox User####################################################################
8711e5c73ca872d59810760af0332194cbdd619bAutomatic Updater## sources for hets
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrewsnon_sources = Common/LaTeX_maps.svmono.hs Common/CaslLanguage.hs ./Test.hs \
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews    $(SETUP).hs
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User
8e5fce1f9ceba17dd7e3ff0eb287e1e999c14249Mark Andrewssources = hets.hs $(filter-out $(non_sources), \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(wildcard $(addsuffix /[A-Z]*hs, $(SOURCE_PATHS))))
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrewsobjects = $(sources:%.hs=%.o)
bc0a53583d92309bebcf93c408e2f3247ebd3d3cAutomatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updaterdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
59528addd704f8d5757b54e540520f74e588a7c7Automatic Updater    ATC/DevGraph.hs \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    ConstraintCASL/AS_ConstraintCASL.hs\
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Propositional/AS_BASIC_Propositional.hs\
59528addd704f8d5757b54e540520f74e588a7c7Automatic Updater    $(gendrifted_files)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
d7d105151a78d35afb4233d2a6dbd47b7ec0d9a5Tinderbox Useratc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User    Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
19b3dc94bce93fa76bd7e066f9298630dbc9dcb4Automatic Updater    Logic/Prover.hs #Common/Id.hs Common/Result.hs OWL_DL/AS.hs
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updateratc_der_files = $(foreach file, $(atc_files), \
7f94d9a8162c9a96b56e66176702b66e79d8e1a2Automatic Updater    ATC/$(basename $(basename $(notdir $(file)))).der.hs)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic UpdaterATC/Id.der.hs: Common/Id.hs $(GENRULES)
5ecad47f69b3fd945472ab2900a9ff826a7ce2f6Automatic Updater    $(GENRULECALL) -o $@ $<
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User
91d187ce035f39073f0732ff2a401a45c3c955fbMark AndrewsATC/Result.der.hs: Common/Result.hs $(GENRULES)
6a9d2121152c94cb9e35832126c3f2e4d18d81edTinderbox User    $(GENRULECALL) -o $@ $<
6a9d2121152c94cb9e35832126c3f2e4d18d81edTinderbox User
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
96ea71632887c58a9d00f47eb318bf76b35903c3Mark Andrews    $(GENRULECALL) -o $@ $<
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
9cd5eb6fe0f26d65724b99216cb31dcdd12e4afdAutomatic UpdaterATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User    $(GENRULECALL) -o $@ $<
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
4cda4fd158d6ded5586bacea8c388445d99611eaAutomatic UpdaterATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    $(GENRULECALL) -i ATC.AS_Structured -o $@ $<
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
4fe0411487e8e4401477684c0a2bac041ca7c2d5Tinderbox UserATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    $(GENRULECALL) -i ATC.AS_Architecture -o $@ $<
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
bf5e2127e92e52cbf661e77dd6a76e5aef43542fTinderbox UserATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $<
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -x Logic.Prover.ProverTemplate \
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User            -i ATC.AS_Annotation -o $@ $<
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic UpdaterCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews    CASL/AS_Basic_CASL.der.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
da59e63e7af147a8bcef985b98b04443e04c3a0eTinderbox UserHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User
dc5552b4df5e3821783821c8d4e734c1608c446eTinderbox UserIsabelle_files = Isabelle/IsaSign.hs
cf7e98f59148b559946a7f1ca728471374f1eef3Automatic Updater
6025cbbe8408f4b09d53d5ec1e95cb6da97e0a8dTinderbox UserPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrews            Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs\
dc5552b4df5e3821783821c8d4e734c1608c446eTinderbox User            Propositional/Sublogic.hs
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic UpdaterModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
cf7e98f59148b559946a7f1ca728471374f1eef3Automatic UpdaterConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
91216cff91b34c9ff6e846dc23f248219cafe660Andreas GustafssonCOL_files = COL/AS_COL.hs COL/COLSign.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews             CspCASL/SignCSP.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs
cd6e9010079a4e58f7e30063df3dec0ff154ad59Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsSoftFOL_files = SoftFOL/Sign.hs
4fe0411487e8e4401477684c0a2bac041ca7c2d5Tinderbox User
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserOWL_DL_files = OWL_DL/Sign.hs
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
3857cb6fcabeb79d85de4b3e3e4ab99912b701f8Mark Andrews
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox Usergenerated_rule_files = $(atc_der_files) $(atc_logic_files)
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrewsgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafssoninline_axiom_files = Comorphisms/CASL2PCFOL.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
8292deab031e7599cd7622aa7675fbe139ca6095Mark Andrewsderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
e31cfd80616deb9781902306b34a69aa7309b6cbTinderbox User    $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files) \
7ac34650fa344f42211d6da744ae486b0145a083Tinderbox User    OWL_DL/ReadWrite.hs ConstraintCASL/AS_ConstraintCASL.hs
7ac34650fa344f42211d6da744ae486b0145a083Tinderbox User
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews# sources that have {-# OPTIONS -cpp #-}
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewscpp_sources = \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Isabelle/CreateTheories.hs \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    SoftFOL/Logic_SoftFOL.hs GUI/Utils.hs Driver/WriteFn.hs \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    Propositional/Logic_Propositional.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Comorphisms/KnownProvers.hs hets.hs $(happy_files) \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    PGIP/InfoCommands.hs PGIP/ProveCommands.hs
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews# unused, remove when header files are gone
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox Usergenrule_header_files = $(wildcard ATC/*.header.hs)
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsnondoc_sources = $(wildcard utils/DrIFT-src/*.hs) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(wildcard utils/DrIFT-src/*.lhs) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(wildcard utils/GenerateRules/*.hs) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(wildcard utils/InlineAxioms/*.hs) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updater    $(genrule_header_files) $(generated_rule_files) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Modal/GeneratePatterns.inline.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    SoftFOL/MathServCommunication.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(patsubst %.hs, %.der.hs, $(drifted_files))
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updater
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewshspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews# this variable holds the modules that should be documented
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updatertax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewstax_objects = $(patsubst %.hs, %.o, $(tax_sources))
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews####################################################################
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### targets
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    real_clean bin_clean package_clean distclean packages \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    http_pkg syb_pkg shellac_pkg shread_pkg hxt_pkg haifa_pkg \
b30ec46fec40a1b246f7965fbcd341fc6cfd1cc1Mark Andrews    check capa hacapa h2h h2hf showKP clean_genRules genRules \
82a986aaa5d3384a541b5a7d6dae8cf0726d6513Tinderbox User    count doc apache_doc post_doc4apache fromKif \
c5a97a549c89d562e999d4f906b882c5a2a474e1Tinderbox User    programatica_pkg maintainer-clean annos \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User    derivedSources install_hets install release cgi ghci
01a5c5503482fb3ba52088bf0178a7213273bf96Mark Andrews
95c3a5e116c1da135f669c3f15398172fac6279dMark Andrews.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
d7d105151a78d35afb4233d2a6dbd47b7ec0d9a5Tinderbox User
d585233c52e283d9a8849f16f04f452419a2484eTinderbox User$(SETUP): utils/Setup.hs
d7d105151a78d35afb4233d2a6dbd47b7ec0d9a5Tinderbox User    $(HC) --make -O -o $@ $<
d585233c52e283d9a8849f16f04f452419a2484eTinderbox User
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox Userpackages: http_pkg syb_pkg shellac_pkg shread_pkg hxt_pkg haifa_pkg \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews  programatica_pkg
59528addd704f8d5757b54e540520f74e588a7c7Automatic Updater
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrewshttp_pkg: utils/http.tgz $(SETUP)
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User    @if $(HCPKG) field HTTP version; then \
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox User          echo "of HTTP package found"; else \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          $(RM) -r http; \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User          $(TAR) zxf utils/http.tgz; \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          (cd http; $(SETUPPACKAGE)) fi
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrewssyb_pkg: $(SETUP)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    @if $(HCPKG) field syb-generics version; then \
7f79131f9a8e804b93c57f3c679065cce878b726Automatic Updater          echo "of syb-generics package found"; else \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          (cd syb-generics; $(SETUPPACKAGE)) fi
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsshellac_pkg: utils/shellac.tgz $(SETUP)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field Shellac version; then \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          echo "of shellac package found"; else \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          $(RM) -r shellac; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          $(TAR) zxf utils/shellac.tgz; \
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrews          (cd shellac; $(SETUPPACKAGE)) fi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsshread_pkg: utils/shread.tgz $(SETUP) shellac_pkg
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field Shellac-readline version; then \
3a988722ad9e209ba4064604d482dc4efe0e19ebTinderbox User          echo "of shellac-readline package found"; else \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(RM) -rf shread; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          $(TAR) zxf utils/shread.tgz; \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews          (cd shread; $(SETUPPACKAGE)) fi
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewshxt_pkg: $(SETUP) http_pkg
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field hxt version; then \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          echo "of hxt package found"; else \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          $(RM) -rf hxt; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          $(TAR) zxf utils/hxt.tgz; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          (cd hxt; $(SETUPPACKAGE)) fi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewshaifa_pkg: $(SETUP) hxt_pkg syb_pkg
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    @if $(HCPKG) field HAIFA version; then \
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User          echo "of HAIFA package found"; else \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          (cd haifa-lite; $(SETUPPACKAGE)) fi
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrewsprogramatica_pkg:
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrewshets-opt:
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews    $(MAKE) distclean
f7369b2881b5e63d69600adcedc8ba938303d30cTinderbox User    $(MAKE) derivedSources
f7369b2881b5e63d69600adcedc8ba938303d30cTinderbox User    $(MAKE) clean
d6317350b1180aa4517f2e8a92fa8fbcbf904ad8Automatic Updater    $(MAKE) hets-optimized
bc0a4c01beede169df81a3ee5b614ed9e82339dbAutomatic Updater
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewshets-optimized: $(derived_sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC) --make -O -o hets hets.hs $(HC_OPTS)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    strip hets
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets-old: $(objects)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC) -o hets $(HC_OPTS) $(objects)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtoncgi:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) distclean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) derivedSources
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) real_clean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) hets.cgi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets.cgi: $(sources) GUI/hets_cgi.hs
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    strip hets.cgi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets_maintainers.txt: $(sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo 'File : Maintainer' > $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo -n Generating $@ " "
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @egrep -m 1 "Maintainer" $(sources) | \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          sed -e 's/: *Maintainer *: */ : /' >> $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo " done"
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington###############################
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### count lines of code
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtoncount: $(sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    wc -l $(sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington###############################
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### Documentation via haddock
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtondoc: docs/index.html
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington# generate haddock documentation with links to sources
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington# the interface treatment is stolen from uni/mk/suffix.mk
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtondocs/index.html: $(doc_sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) -r docs
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    mkdir docs
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    cp -r -L ../uni/www docs/www || mkdir docs/www
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    HINTERFACES0=`find -L docs/www -name '*.haddock' \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington           -printf "--read-interface=www/%P,%p "` ; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington        HINTERFACES=`echo $$HINTERFACES0 | \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington           $(PERL) -pe 's+/[^/]*.haddock,+,+g'` ; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington        $(HADDOCK) -o docs -h -v -s ../%F $$HINTERFACES \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            -t 'Hets - the Heterogeneous Tool Set' \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            -p Hets-Haddock-Prologue.txt $(doc_sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington# sources are not copied here
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonapache_doc:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) -r docs
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    cvs up -d ; echo "CVS exited with: " $$?
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(MAKE) hets-opt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(MAKE) doc
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(MAKE) post_doc4apache
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(MAKE) o_clean
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(MAKE) hets.cgi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewspost_doc4apache:
22d32791e5daa0bc80335a0f10ab2de95f41ccdbTinderbox User    $(RM) -r a-docs
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    cp -r docs a-docs
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    $(PERL) utils/post_process_docs.pl a-docs \
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater            'Common.Lib.Map.html:Common.Lib._Map.html'
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    $(PERL) utils/post_process_docs.pl a-docs \
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater            'Data.Map.html:Data._Map.html'
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User###############################
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater### release management
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
ae7e54b14c946e0984c191554db9abb4893f9349Automatic UpdaterderivedSources: $(derived_sources) $(hspp_sources)
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updaterutils/DrIFT: $(DRIFT_deps)
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater            strip ../DrIFT)
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
b30ec46fec40a1b246f7965fbcd341fc6cfd1cc1Mark Andrewsutils/genRules: $(GENERATERULES_deps)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    (cd utils/GenerateRules; \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User            $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User                GenerateRules.hs -o ../genRules && strip ../genRules)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User# "-package hssource" for ghc-5.04.2
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User$(INLINEAXIOMS): $(INLINEAXIOMS_deps)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User            -i../.. -o $(INLINEAXIOMS)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    strip $(INLINEAXIOMS)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsREV = trunk
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox Userrelease:
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) -r Hets
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    $(RM) -r uni
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    if [ -d ../uni ] ; then ln -s ../uni uni ; fi
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    $(RM) -r programatica
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    if [ -d ../programatica ] ; then \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews            mkdir programatica; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            ln -s ../../programatica/tools programatica/tools ; fi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            cp Makefile Makefile.orig; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            cp ReleaseMakefile Makefile; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            ./clean.sh; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            $(RM) clean.*; utils/replaceAllHeaders.sh)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(TAR) cvf Hets.tar Hets
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
febbdb34a7f7759922e239655e7429d78d3a8d26Tinderbox Userinstall-hets:
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    chmod g+w hets
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User    cp -p version_nr $(INSTALLDIR)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    (cd $(INSTALLDIR); $(RM) hets; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews        ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsinstall: hets-opt install-hets
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewspack/install-%.jar: pack/install-%.xml pack/UserInputSpec-%.xml hets.in hets
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews       ## TODO: add more dependencies and use hets-opt
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    compile $< -b . -k standard -o $@
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User#   compile $< -b . -k web -o $@
c01dec514a81ecf8c17ca3ef8c3ba95e437295ebAutomatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater###################################
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater### Common/LaTeX_maps.hs generation
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
e8c42d50cdaf3a3b841074d8bf72b40ffbae2a4bTinderbox Userutils/genItCorrections: $(GENITCORRECTIONS_deps)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(HC) --make -o $@ $<
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    strip $@
e20309353e6246485c521278131d3fced73d7957Tinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewspretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo -n "Generating pretty/LaTeX_maps.hs ... "
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @(cd pretty >/dev/null; ../utils/genItCorrections \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            gen_it_characters gen_it_words >> LaTeX_maps.hs)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo "ready"
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo "please copy the file manually to Common"
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington#############################
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### ATC DrIFT-rule generation
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtongenRules: $(generated_rule_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonPropositional/ATC_Propositional.der.hs: $(Propositional_files) \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington       $(GENRULES)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ \
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews       $(Propositional_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
9cd5eb6fe0f26d65724b99216cb31dcdd12e4afdAutomatic Updater
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
9cd5eb6fe0f26d65724b99216cb31dcdd12e4afdAutomatic UpdaterCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
79cea03ba823e2d3a34895f0ba91d7fb5ad799e7Automatic Updater    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonOWL_DL/ATC_OWL_DL.der.hs: $(OWL_DL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i ATC.AS_Annotation -i OWL_DL.ReadWrite \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          -o $@ $(OWL_DL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonclean_genRules:
b7aab05edae933e169d5f83c653935b17c7f0a8bMark Andrews    $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            $(hs_clean_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington###############
409ba95e573b40cf36acf97dd62ee7e9c7775851Tinderbox User### clean up
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonclean: bin_clean o_clean clean_pretty
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews### removes *.hi and *.o in all include directories
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtono_clean:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    find . -name \*.o -o -name \*.hi | xargs $(RM) -r
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User### remove binaries
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsbin_clean:
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) hets
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) hets.cgi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) $(TESTTARGETS)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsclean_pretty:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington               pretty/generated_words.tex
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### additionally removes the library files
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonreal_clean: clean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### clean user packages
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonpackage_clean:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HCPKG) unregister HAIFA --user || exit 0
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(HCPKG) unregister programatica --user || exit 0
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(HCPKG) unregister hxt --user || exit 0
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(HCPKG) unregister Shellac-readline --user || exit 0
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(HCPKG) unregister HTTP --user || exit 0
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(HCPKG) unregister syb-generics --user || exit 0
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(HCPKG) unregister Shellac --user || exit 0
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater### additionally removes generated files not in the CVS tree
56effd2e3f579fd77b1fb37d47871d1bf1286bc4Automatic Updaterdistclean: clean clean_genRules
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) $(derived_sources)
0e91f17da8a29086876a88962e0a3482094b6057Evan Hunt    $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsmaintainer-clean: distclean package_clean
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) $(SETUP)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews####################################################################
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### test targets
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews####################################################################
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### interactive
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsghci: $(derived_sources)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(HC)i $(HC_OPTS)
42bee07ebb8152a6ec2f87f4790d87368c24704cAutomatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater### christian's target
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater### CASL parser
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsfromKif: CASL/fromKif
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews### Annos parser
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonannos: Common/annos
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### CASL parser
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrewscapa: CASL/capa
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews### HasCASL parser
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrewshacapa: HasCASL/hacapa
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### Haskell analysis
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhana: Haskell/hana
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### Haskell to Isabelle-HOLCF translation
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonh2hf: Haskell/h2hf
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    Common/Lib/*.hs Comorphisms/*.hs
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC) -O --make -o $@ $< $(HC_FLAGS) $(PFE_FLAGS)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### HasCASL to Haskell translation
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonh2h: Haskell/h2h
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### test program to check the known provers
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsshowKP: Comorphisms/test/showKP
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### run tests in other directories
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewscheck: $(TESTTARGETS)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
89623368b8f662d458d9964b923050f33c5f75b0Tinderbox User
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington####################################################################
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User## Preparing the version of Hets
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserDriver/Version.hs: Driver/Version.in version_nr
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(RM) $@
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    LANG=C $(PERL) utils/build_version.pl version_nr \
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews            < Driver/Version.in > $@
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    chmod 444 $@
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews## two hardcoded dependencies for a correct generation of Version.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewshets.hs: Driver/Version.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsATC/DevGraph.hs: Static/DevGraph.hs
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
22d32791e5daa0bc80335a0f10ab2de95f41ccdbTinderbox User## two dependencies for avoidence of circular prerequisites
da59e63e7af147a8bcef985b98b04443e04c3a0eTinderbox UserCASL_DEPENDENT_BINARIES= hets CASL/capa CASL/fromKif \
22d32791e5daa0bc80335a0f10ab2de95f41ccdbTinderbox User   Common/annos Common/test_parser Comorphisms/test/showKP \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews   CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews   Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews$(CASL_DEPENDENT_BINARIES): $(sources) $(derived_sources)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# CASL_DL/Logic.hs: CASL_DL/PredefinedSign.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews####################################################################
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews## rules for DrIFT
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews.SUFFIXES:
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
1fdd58445074579ee3b65c871137a7a1740eb542Mark Andrews%: %.hs packages
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(HC) --make -o $@ $< $(HC_OPTS)
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User%.hs: %.y
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(HAPPY) -o $@.tmp $<
cc5a9ce75af9870f2cb9e2bf00548c2f7e6398d6Automatic Updater    echo "{-# OPTIONS -w #-}" > $@
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    cat $@.tmp >> $@
ec8755f605d7dcb2de1076040e77bc2d7ec33b4aTinderbox User    $(RM) $@.tmp
3040b455151b1e1173193933664b2891b6159f24Mark Andrews
609b8d08176469485edce25f3c2f50365bbd3819Mark Andrews%.hs: %.der.hs $(DRIFT)
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(RM) $@
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater    ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater    chmod 444 $@
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater## rules for inlineAxioms
91faa748a27dee38f6caea461d3e87f15b93abeaTinderbox User%.hs: %.inline.hs $(INLINEAXIOMS)
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(RM) $@
91faa748a27dee38f6caea461d3e87f15b93abeaTinderbox User    $(INLINEAXIOMS) $< > $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    chmod 444 $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews## rule for cpp and haddock
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews%.hspp: %.hs
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    $(HC) -E -cpp -D__HADDOCK__ \
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews            -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews## compiling rules for object and interface files
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews%.o %.hi: %.hs
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    $(HC) -c $< $(HC_OPTS)
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User%.o %.hi: %.lhs
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User    $(HC) -c $< $(HC_OPTS)
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User
861836e5f5df62bfaea9ad8923a05278d5ab2f3dTinderbox User## compiling rules for dependencies
e8c17c74535be290abaaa160a434ed80bf0ad2feMark Andrews%.d : %.hs
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic Updater
9c446b72069d0ab9f710502f4d7048e50875fccbAutomatic Updater%.d : %.lhs
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic Updater    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic Updater
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User## generate the inline file for the predefined CASL_DL sign
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox UserCASL_DL/PredefinedSign.inline.hs:  \
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User     CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     CASL_DL/PredDatatypes.het
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater          < CASL_DL/PredefinedSign.inline.hs.in > $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    echo "  )" >> $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    chmod 444 $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater# Warning: Don't change the order of the depencies!!
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic UpdaterCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     CASL_DL/Datatypes.het
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(PERL) $+ > $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    chmod 444 $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater# uses intransparently utils/outlineAxioms
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic UpdaterModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    utils/genTransMFormFunc.pl $(INLINEAXIOMS)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(PERL) utils/genTransMFormFunc.pl $< $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    chmod 444 $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updaterinitialize_installer:
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @if [ -d $(INSTALLER_DIR) ] ; then   \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater        echo "copy file to $(INSTALLER_DIR)" ; \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater      else \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater        echo "create $(INSTALLER_DIR)"  ;\
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater        mkdir -p $(INSTALLER_DIR) ; \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     fi
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @sed "s/^\(HETS_VERSION=\).*/\1`cat version_nr`/" Makefile.installer > Makefile.inst  ;\
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     sed "s/^\(SPASS_DIR_MAC=\).*/\1`ls utils/SPASS-ppc-mac/ | grep SPASS`/"  Makefile.inst > Makefile.inst2 ;\
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     rm Makefile.inst ;\
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     mv Makefile.inst2 $(INSTALLER_DIR)/Makefile
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo =========================================================================
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo If you have not logged in \'cvs.haskell.org\' and \'cvs-agbkb.informatik.uni-bremen.de\'
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo "then please first login:"
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo  "   cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs login"
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo  "    the password is cvs"
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo  "   cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository login "
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo  "    the password is "
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo =========================================================================
bbc0e1c4f47f101c4a64db3469352c49a49e734fTinderbox User    @echo Ready to create installers for Hets
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo Please do
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo "  -> cd $(INSTALLER_DIR)"
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo "  -> make"
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    @echo and wait until it is finished
bbc0e1c4f47f101c4a64db3469352c49a49e734fTinderbox User
fe84edc17e0d582cf7b4270f8df9d4742a107b1cAutomatic Updater
3040b455151b1e1173193933664b2891b6159f24Mark Andrews
3040b455151b1e1173193933664b2891b6159f24Mark Andrews
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox User
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark Andrews