4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# hetcats/Makefile

fa11a1e5d812c442cfc865cfdcf9934074d35b7fvboxsync# $Header$

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2004

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# Year: 2004

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync# This Makefile will compile the new hetcats system and provides also

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# targets for test programs during implementation phases.

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# !!! Note: This makefile is written for GNU make !!!

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# (gmake on solaris ; make on linux)

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync####################################################################

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync## Some varibles, which control the compilation

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsyncINCLUDE_PATH = ghc:hetcats

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsyncCOMMONLIB_PATH = Common/Lib:Common/Lib/Parsec:Common/ATerm

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsyncCLEAN_PATH = utils/DrIFT-src:utils/GenerateRules:Common:Logic:CASL:Syntax:Static:GUI:HasCASL:Haskell:Modal:CspCASL:ATC:ToHaskell:Proofs:Comorphisms:Isabelle:$(INCLUDE_PATH):Haskell/Hatchet

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync## set ghc imports properly for your system

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsyncLINUX_IMPORTS = $(wildcard /home/linux-bkb/ghc/ghc-latest/lib/ghc-*/imports)

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsyncDRIFT_ENV = DERIVEPATH='.:ghc:hetcats:${LINUX_IMPORTS}:${GHC_IMPORTS}'

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsync

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsyncDRIFT_deps = utils/DrIFT-src/*hs

a16eb14ad7a4b5ef91ddc22d3e8e92d930f736fcvboxsyncGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsyncINLINEAXIOMS_deps = utils/InlineAxioms/*hs

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsync

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsyncHC = ghc

1c94c0a63ba68be1a7b2c640e70d7a06464e4fcavboxsyncPERL = perl

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncHAPPY = happy

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncDRIFT = $(DRIFT_ENV) utils/DrIFT

616637905fa2f00febb1acd553136d7e56316f7cvboxsyncINLINEAXIOMS = utils/inlineAxioms

616637905fa2f00febb1acd553136d7e56316f7cvboxsyncHADDOCK = haddock

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncHC_FLAGS = -Wall

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# -fglasgow-exts comes in via ../uni/uni-package.conf

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

e06869a7894f42fb14132654a755832b63e1381dvboxsyncHC_INCLUDE = -i$(INCLUDE_PATH)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncHC_PACKAGE = -package-conf ../uni/uni-package.conf -package uni-davinci \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync -package uni-server

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync### Profiling and Warnings (only for debugging)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync### Attention every module must be compiled with profiling or the linker

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync### cannot link the various .o files properly. So after switching on

e06869a7894f42fb14132654a755832b63e1381dvboxsync### Profiling, do an 'gmake clean; gmake'

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync### If you need Profiling comment out the following line

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync#HC_PROF = -prof -auto-all

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncHCI_OPTS = $(HC_FLAGS) $(HC_PACKAGE) $(HC_INCLUDE)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncHC_OPTS = $(HCI_OPTS) $(HC_PROF)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncDRIFT_OPTS = +RTS -K10m -RTS

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync### list of directories to run checks in

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncTESTDIRS = Common CASL HasCASL

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync####################################################################

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync## sources for hetcats (semi - manually produced with a perl script)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),clean)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),bin_clean)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),d_clean)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),real_clean)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),distclean)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),genRules)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),utils/genRules)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),hets-opt)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncifneq ($(MAKECMDGOALS),hets-optimized)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),derivedSources)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncifneq ($(MAKECMDGOALS),release)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncifneq ($(MAKECMDGOALS),check)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncifneq ($(MAKECMDGOALS),apache_doc)

e06869a7894f42fb14132654a755832b63e1381dvboxsyncifneq ($(MAKECMDGOALS),clean_genRules)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncifneq ($(MAKECMDGOALS),atctest2)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncinclude sources_hetcats.mk

e06869a7894f42fb14132654a755832b63e1381dvboxsyncendif

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncendif

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncendif

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncendif

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncendif

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncendif

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncendif

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncendif

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncendif

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncendif

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncendif

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncendif

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncendif

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncendif

67a2fc8894a98a9db6668119ce9c3d07823da7c8vboxsyncendif

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncobjects = $(patsubst %.lhs,%.o,$(sources:%.hs=%.o))

67a2fc8894a98a9db6668119ce9c3d07823da7c8vboxsync

67a2fc8894a98a9db6668119ce9c3d07823da7c8vboxsyncdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs\

67a2fc8894a98a9db6668119ce9c3d07823da7c8vboxsync Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \

67a2fc8894a98a9db6668119ce9c3d07823da7c8vboxsync $(gendrifted_files)

e06869a7894f42fb14132654a755832b63e1381dvboxsync

67a2fc8894a98a9db6668119ce9c3d07823da7c8vboxsyncgenrule_header_files = $(wildcard ATC/*.header.hs)

e06869a7894f42fb14132654a755832b63e1381dvboxsync

e06869a7894f42fb14132654a755832b63e1381dvboxsyncgenrule_files = Common/Lib/Graph.hs Common/Id.hs Common/Result.hs \

e06869a7894f42fb14132654a755832b63e1381dvboxsync Common/AS_Annotation.der.hs \

67a2fc8894a98a9db6668119ce9c3d07823da7c8vboxsync Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync CASL/Sublogic.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync CASL/Morphism.hs CASL/Sign.hs CASL/AS_Basic_CASL.der.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync HasCASL/As.hs HasCASL/Le.hs HasCASL/SymbItem.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync HasCASL/Symbol.hs HasCASL/Morphism.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Modal/AS_Modal.hs Modal/ModalSign.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync CspCASL/AS_CSP_CASL.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Static/DevGraph.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Haskell/Hatchet/AnnotatedHsSyn.hs \

e06869a7894f42fb14132654a755832b63e1381dvboxsync Haskell/Hatchet/MultiModuleBasics.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Haskell/Hatchet/HsSyn.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Haskell/Hatchet/Representation.hs\

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Haskell/Hatchet/Class.hs Haskell/Hatchet/KindInference.hs \

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync Haskell/Hatchet/Env.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Isabelle/IsaSign.hs

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncgendrifted_files = ATC/Graph.hs ATC/Id.hs ATC/Result.hs ATC/AS_Annotation.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync ATC/AS_Library.hs ATC/GlobalAnnotations.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync ATC/AS_Structured.hs ATC/AS_Architecture.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync ATC/DevGraph.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync CASL/ATC_CASL.hs Haskell/ATC_Haskell.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync HasCASL/ATC_HasCASL.hs CspCASL/ATC_CspCASL.hs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync Modal/ATC_Modal.hs ATC/IsaSign.hs

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncgenerated_rule_files = $(patsubst %.hs,%.der.hs,$(gendrifted_files))

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsyncinline_axiom_files = Comorphisms/CASL2PCFOL.hs

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsyncgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs,$(inline_axiom_files))

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsynchappy_files = Haskell/Hatchet/HsParser.hs

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync# this variable holds the modules that should be documented

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# the imported parsec library is not included!

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncdoc_sources = $(filter-out ./Isabelle/IsaSign.hs ,$(sources))

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync####################################################################

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync### targets

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync.PHONY : clean d_clean real_clean bin_clean check hetana hetpa hetdg \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync clean_genRules genRules

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync#.PRECIOUS: sources_hetcats.mk

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncall: hets

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsynchets: $(sources)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(HC) --make -o $@ hets.hs $(HC_OPTS) 2>&1 | tee hetcats-make

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsynchets-opt: hetcats/Version.hs

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(MAKE) distclean

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(MAKE) derivedSources

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(MAKE) hets-optimized

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsynchets-optimized:

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(HC) --make -O2 -o hets hets.hs $(HC_OPTS) 2>&1 | tee hetcats-make

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync strip hets

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsynchets-old: $(objects)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(RM) $@

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(HC) -o hets $(HC_OPTS) $(objects)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsynchetcats-make: hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(RM) hetcats-make sources_hetcats.mk

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(HC) --make -o hets $< $(HC_OPTS) 2>&1 | tee hetcats-make

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync###############################

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync### TAGS files for (x)emacs

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# load them with "M-x" "visit-tags-table" from

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# "HetCATS/hetcats/hetcats.TAGS"

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# use "M-." to search for a tag

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# !!Beware this is somewhat instable, because it uses an absolute path!!

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsynchetcats.TAGS: $(sources)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(sources); mv TAGS $@; mv tags hetcats.tags

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync###############################

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync### Documentation via haddock

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncdoc: docs/index.html

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync# index for prelude is missing

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncdocs/index.html: $(doc_sources)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(HADDOCK) $(doc_sources) -o docs -h \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync -i docs/base.haddock \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync -t 'hets -- a heterogenous Specification (CASL) tool set'

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncapache_doc:

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(RM) docs/*.*

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(MAKE) distclean

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync cvs up -d

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(MAKE) hetcats-make

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync strip hets

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(MAKE) doc

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(MAKE) post_doc4apache

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncpost_doc4apache:

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(PERL) utils/post_process_docs.pl docs \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync 'Common.Lib.Map.html:Common.Lib._Map.html'

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync cp docs/*.* a-docs/

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync $(RM) docs/index.html

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync###############################

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync### release management

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncderivedSources: $(drifted_files) $(happy_files) hetcats/Version.hs

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsyncutils/DrIFT: $(DRIFT_deps)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync strip ../DrIFT)

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncutils/genRules: $(GENERATERULES_deps)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync (cd utils/GenerateRules; \

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync $(HC) --make '-i../..:../DrIFT-src' -package text GenerateRules.hs -o ../genRules && \

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync strip ../genRules)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncutils/inlineAxioms: $(INLINEAXIOMS_deps)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync (cd utils/InlineAxioms; \

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync make install && \

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync strip ../inlineAxioms)

bd9987a5cea6755c011b29a419474e093a75d97cvboxsync

bd9987a5cea6755c011b29a419474e093a75d97cvboxsyncrelease:

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync $(RM) -r HetCATS

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository co HetCATS

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync $(RM) -r uni

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync ln -s ../uni uni

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync (cd HetCATS; $(MAKE) derivedSources; ./clean.sh; \

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync $(RM) clean.*; $(RM) Makefile; mv ReleaseMakefile Makefile)

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync tar cvf HetCATS.tar HetCATS

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync#############################

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync### ATC DrIFT-rule generation

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsyncgenRules: $(generated_rule_files) utils/genRules

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync$(generated_rule_files): $(genrule_files) utils/genRules #$(genrule_header_files)

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync $(MAKE) clean_genRules

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync $(foreach file,$(atc_files),$(gen_atc_files))

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync utils/genRules -r $(rule) -o CASL $(casl_files)

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync utils/genRules -r $(rule) -o HasCASL -h ATC/HasCASL.header.hs \

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync $(hascasl_files)

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync utils/genRules -r $(rule) -o Modal $(modal_files)

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync utils/genRules -r $(rule) -o CspCASL $(cspcasl_files)

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync utils/genRules -r $(rule) -o Haskell -h ATC/Haskell.header.hs \

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync $(haskell_files)

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsyncrule = ShATermConvertible

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsyncgen_atc_files = if [ -f ATC/$(basename $(basename $(notdir $(file)))).header.hs ]; then \

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync utils/genRules -r $(rule) -o ATC -h ATC/$(basename $(basename $(notdir $(file)))).header.hs $(file); \

492c3ab08ac2c0d7e87d626f4422d9a8cb0b9b2avboxsync else \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync utils/genRules -r $(rule) -o ATC $(file); \

4af0145a7d43b507e1ff74aa1e3b8d489a2078d7vboxsync fi ;

5f78f19127d8955c64678be9995cc0520382be78vboxsync

5f78f19127d8955c64678be9995cc0520382be78vboxsyncatc_files := $(filter-out CASL/% HasCASL/% Modal/% CspCASL/% Haskell/% ,$(genrule_files))

5f78f19127d8955c64678be9995cc0520382be78vboxsynccasl_files := $(filter CASL/% ,$(genrule_files))

14216a6dea3b757d012aa6866ee499fbe1674baavboxsynchascasl_files := $(filter HasCASL/% ,$(genrule_files))

14216a6dea3b757d012aa6866ee499fbe1674baavboxsyncmodal_files := $(filter Modal/% ,$(genrule_files))

14216a6dea3b757d012aa6866ee499fbe1674baavboxsynccspcasl_files := $(filter CspCASL/% ,$(genrule_files))

14216a6dea3b757d012aa6866ee499fbe1674baavboxsynchaskell_files := $(filter Haskell/%,$(genrule_files))

14216a6dea3b757d012aa6866ee499fbe1674baavboxsync

5f78f19127d8955c64678be9995cc0520382be78vboxsyncclean_genRules:

5f78f19127d8955c64678be9995cc0520382be78vboxsync $(RM) $(generated_rule_files)

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync###############

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### clean up

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### removes *.hi and *.o in all include directories

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncclean: bin_clean

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync for p in $(subst :, ,$(CLEAN_PATH)) . ; do \

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync (cd $$p ; $(RM) *.hi *.o) ; done

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync

427661c1296ebe749cfa5f4f244c3ea8752fb8afvboxsync### remove binaries

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncbin_clean:

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsync $(RM) hets

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsync $(RM) test_parser

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsync $(RM) CASL/capa

5f78f19127d8955c64678be9995cc0520382be78vboxsync $(RM) HasCASL/hacapa

5f78f19127d8955c64678be9995cc0520382be78vboxsync $(RM) Haskell/hapa

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync $(RM) Haskell/wrap

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync $(RM) Syntax/hetpa

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync $(RM) Static/hetana

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync $(RM) Static/hetana

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync $(RM) GUI/hetdg

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync $(RM) hetpa

4440c15f1ac8736ae16c4fb03b1e7d378df73575vboxsync $(RM) hetana

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync $(RM) hetdg

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync### additonally removes *.d (dependency files) in every include directory

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync### also delete *.d.bak (dependency file backups)

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsyncd_clean: clean

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync for p in $(subst :, ,$(CLEAN_PATH)) . ; do \

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync (cd $$p ; $(RM) *.d *.d.bak) ; done

5f78f19127d8955c64678be9995cc0520382be78vboxsync

5f78f19127d8955c64678be9995cc0520382be78vboxsync### remove files also in own libraries

5f78f19127d8955c64678be9995cc0520382be78vboxsynclib_clean: clean

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync for p in $(subst :, ,$(COMMONLIB_PATH)) . ; do \

5f78f19127d8955c64678be9995cc0520382be78vboxsync (cd $$p ; $(RM) *.hi *.d *.o) ; done

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync

8b4692ee7905329dfae2e06095af325dd0711429vboxsync### additionally removes the files that define the sources-variable

8b4692ee7905329dfae2e06095af325dd0711429vboxsyncreal_clean: bin_clean lib_clean

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsync $(RM) hetcats-make sources_hetcats.mk

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsync

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsync### additionally removes files not in CVS tree

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsyncdistclean: real_clean clean_genRules d_clean

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsync $(RM) hetcats/Version.hs

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsync $(RM) $(drifted_files)

5f78f19127d8955c64678be9995cc0520382be78vboxsync $(RM) utils/DrIFT utils/genRules

5f78f19127d8955c64678be9995cc0520382be78vboxsync# $(RM) $(happy_files)

5f78f19127d8955c64678be9995cc0520382be78vboxsync

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync####################################################################

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync### test targets

5f78f19127d8955c64678be9995cc0520382be78vboxsync####################################################################

5f78f19127d8955c64678be9995cc0520382be78vboxsync

5f78f19127d8955c64678be9995cc0520382be78vboxsync### a parser to test annotation parser and Id parsers

5f78f19127d8955c64678be9995cc0520382be78vboxsynctest_parser: Common/test_parser

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync

5f78f19127d8955c64678be9995cc0520382be78vboxsyncCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs

5f78f19127d8955c64678be9995cc0520382be78vboxsync $(RM) $@

5f78f19127d8955c64678be9995cc0520382be78vboxsync $(HC) --make -o $@ $< $(HC_OPTS)

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync### interactive

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsyncghci:

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync $(HC)i $(HCI_OPTS)

5f78f19127d8955c64678be9995cc0520382be78vboxsync

5f78f19127d8955c64678be9995cc0520382be78vboxsync### christian's target

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### CASL parser

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsynccapa: CASL/capa

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsyncCASL/capa: CASL/capa.hs Common/*.hs CASL/*.hs

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(RM) $@

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(HC) --make -o $@ $< $(HC_OPTS)

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### HasCASL parser

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsynchacapa: HasCASL/hacapa

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsyncHasCASL/hacapa: HasCASL/hacapa.hs Common/*.hs HasCASL/*.hs

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(RM) $@

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(HC) --make -o $@ $< $(HC_OPTS)

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### Haskell parser

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsynchapa: Haskell/hapa

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsyncHaskell/hapa: Haskell/hapa.hs Haskell/Hatchet/*.hs $(happy_files)

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(RM) $@

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(HC) --make -o $@ $< $(HC_OPTS)

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### HetCASL parser

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsynchetpa: Syntax/hetpa.hs Syntax/*.hs

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(RM) $@

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(HC) --make -o $@ $< $(HC_OPTS)

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### HetCASL parser

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsynchetana: Static/hetana.hs Static/*.hs

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(RM) $@

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(HC) --make -o $@ $< $(HC_OPTS)

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### ATC test system

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsyncatctest: ATC/ATCTest.hs ATC/*.hs

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync $(RM) $@

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync $(HC) --make -o $@ $< $(HC_OPTS)

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsyncatctest2: ATC/ATCTest2.hs Common/SimpPretty.hs Common/ATerm/*.hs Common/Lib/*.hs

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync $(RM) $@

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(HC) --make -o $@ $< $(HC_OPTS)

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

de2776d805502a4e9527f31c37ff57fb7171c452vboxsync### ATerm.Lib test system

5f78f19127d8955c64678be9995cc0520382be78vboxsyncatermlibtest: Common/ATerm/ATermLibTest.hs Common/ATerm/*.hs Common/SimpPretty.hs

de2776d805502a4e9527f31c37ff57fb7171c452vboxsync $(RM) $@

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync $(HC) --make -o $@ $< $(HC_OPTS)

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

de2776d805502a4e9527f31c37ff57fb7171c452vboxsync### HetCASL with dev graph

81dffdeb5598626dab7a5cee496482f8d013c026vboxsynchetdg: GUI/hetdg.hs $(drifted_files) *.hs

81dffdeb5598626dab7a5cee496482f8d013c026vboxsync $(RM) $@

de2776d805502a4e9527f31c37ff57fb7171c452vboxsync $(HC) --make -o $@ $< $(HC_OPTS) -package-conf ../uni/uni-package.conf -package uni-davinci -package uni-server

81dffdeb5598626dab7a5cee496482f8d013c026vboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync### run tests in other directories

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsynccheck: hetcats

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync for i in $(TESTDIRS); do $(MAKE) -C $$i check; done

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync

713cf68f39cd44e8f9e75aff0845ea12caad2c6dvboxsync####################################################################

de2776d805502a4e9527f31c37ff57fb7171c452vboxsync## Preparing the version of HetCATS

de2776d805502a4e9527f31c37ff57fb7171c452vboxsynchetcats/Version.hs: hetcats/Version.in version_nr

5f78f19127d8955c64678be9995cc0520382be78vboxsync $(PERL) utils/build_version.pl version_nr < hetcats/Version.in > $@

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync## two hardcoded dependencies for a correct generation of Version.hs

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsynchetcats/Options.hs hetcats/WriteFn.hs hetcats/ReadFn.hs: hetcats/Version.hs

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsynchets.hs: hetcats/Version.hs

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync####################################################################

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync## rules for DrIFT

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync%.hs: %.ly

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync $(HAPPY) $<

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync%.hs: %.der.hs utils/DrIFT

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync $(DRIFT) $(DRIFT_OPTS) $< > $@

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync## rules for inlineAxioms

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync%.hs: %.inline.hs utils/inlineAxioms

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync $(INLINEAXIOMS) $<

427661c1296ebe749cfa5f4f244c3ea8752fb8afvboxsync

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync## compiling rules for object and interface files

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync%.o %.hi: %.hs

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync $(HC) -c $< $(HC_OPTS)

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync

21b6b252fda6f1ec756349f125f7b83669b2957fvboxsync%.o %.hi: %.lhs

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync $(HC) -c $< $(HC_OPTS)

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync## compiling rules for dependencies

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync%.d : %.hs

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync%.d : %.lhs

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync

c61b22eff4142c61cbcb06b4e7d18a63a6fecd10vboxsync####################################################################

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync## Setting a global search path (for dependency files)

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsyncifneq ($(MAKECMDGOALS),clean)

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsyncifneq ($(MAKECMDGOALS),real_clean)

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncifneq ($(MAKECMDGOALS),d_clean)

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncifneq ($(MAKECMDGOALS),real_clean)

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncifneq ($(MAKECMDGOALS),distclean)

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsyncifneq ($(MAKECMDGOALS),genRules)

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncifneq ($(MAKECMDGOALS),utils/genRules)

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsyncifneq ($(MAKECMDGOALS),derivedSources)

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsyncifneq ($(MAKECMDGOALS),release)

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsyncifneq ($(MAKECMDGOALS),clean_genRules)

e7556810b5751af1bf99f56663d2266f5b3758d5vboxsyncifeq ($(MAKECMDGOALS),hets-old)

b9710509ccc6e7dabc0aa9483eaf7c8adb678de0vboxsync## include every .d file in INCLUDE_PATH

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync-include $(objects:.o=.d)

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncendif

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncsources_hetcats.mk: hetcats-make hetcats/Version.hs hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)

c9caddc020c26660df7abb29da66f5161e0d850dvboxsync $(PERL) utils/create_sources.pl hetcats-make sources_hetcats.mk

c9caddc020c26660df7abb29da66f5161e0d850dvboxsyncendif

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsyncendif

6c2957acd397b02b27ba1c1a4f90863823a3b6f4vboxsyncendif

de2776d805502a4e9527f31c37ff57fb7171c452vboxsyncendif

de2776d805502a4e9527f31c37ff57fb7171c452vboxsyncendif

de2776d805502a4e9527f31c37ff57fb7171c452vboxsyncendif

de2776d805502a4e9527f31c37ff57fb7171c452vboxsyncendif

de2776d805502a4e9527f31c37ff57fb7171c452vboxsyncendif

de2776d805502a4e9527f31c37ff57fb7171c452vboxsyncendif

de2776d805502a4e9527f31c37ff57fb7171c452vboxsyncendif

de2776d805502a4e9527f31c37ff57fb7171c452vboxsync