Cross Reference: /hets/Makefile

	Makefile revision 5958fabb264ec3f5b2125ac5602121bd34814a79
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# hetcats/Makefile
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# $Header$
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2004
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# Year:   2004
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# This Makefile will compile the new hetcats system and provides also
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# targets for test programs during implementation phases.
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# !!! Note: This makefile is written for GNU make !!!
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte#           (gmake on solaris ; make on linux)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte####################################################################
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte## Some varibles, which control the compilation
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteINCLUDE_PATH = ghc:hetcats
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCOMMONLIB_PATH = Common/Lib:Common/Lib/Parsec:Common/ATerm
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCLEAN_PATH = Common:Logic:CASL:Syntax:Static:GUI:HasCASL:Haskell:Modal:CspCASL:ATC:ToHaskell:Proofs:Comorphisms:Isabelle:$(INCLUDE_PATH):Haskell/Hatchet
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte## set ghc imports properly for your system
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDRIFT_ENV = DERIVEPATH='.:ghc:hetcats:/home/linux-bkb/ghc/ghc-latest/lib/ghc-6.2/imports:${GHC_IMPORTS}'
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
a1e9eea083a8f257157edb8a1efb5bbd300eb4bfSrikanth, RamanaDRIFT_deps = utils/DrIFT-src/*hs
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC         = ghc
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn FortePERL       = perl
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHAPPY      = happy
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDRIFT      = $(DRIFT_ENV) utils/DrIFT
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHADDOCK    = haddock
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC_FLAGS   = -fglasgow-exts -Wall
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC_INCLUDE = -i$(INCLUDE_PATH)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC_PACKAGE = -package-conf ../uni/uni-package.conf  -package uni-davinci \
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte             -package uni-server
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### Profiling and Warnings (only for debugging)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### Attention every module must be compiled with profiling or the linker
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### cannot link the various .o files properly. So after switching on
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### Profiling, do an 'gmake clean; gmake'
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### If you need Profiling comment out the following line
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte#HC_PROF    = -prof -auto-all
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHCI_OPTS    = $(HC_FLAGS) $(HC_PACKAGE) $(HC_INCLUDE)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC_OPTS     = $(HCI_OPTS) $(HC_PROF)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDRIFT_OPTS  = +RTS -K10m -RTS
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
a1e9eea083a8f257157edb8a1efb5bbd300eb4bfSrikanth, Ramana### list of directories to run checks in
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteTESTDIRS    = Common CASL HasCASL
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte####################################################################
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte## sources for hetcats (semi - manually produced with a perl script)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),clean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),bin_clean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),d_clean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),real_clean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),distclean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),genRules)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),utils/genRules)
a1e9eea083a8f257157edb8a1efb5bbd300eb4bfSrikanth, Ramanaifneq ($(MAKECMDGOALS),hets-opt)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),hets-optimized)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),derivedSources)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),release)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),check)
7014882c6a3672fd0e5d60200af8643ae53c5928Richard Loweifneq ($(MAKECMDGOALS),apache_doc)
7014882c6a3672fd0e5d60200af8643ae53c5928Richard Loweifneq ($(MAKECMDGOALS),clean_genRules)
7014882c6a3672fd0e5d60200af8643ae53c5928Richard Loweifneq ($(MAKECMDGOALS),atctest2)
7014882c6a3672fd0e5d60200af8643ae53c5928Richard Loweinclude sources_hetcats.mk
7014882c6a3672fd0e5d60200af8643ae53c5928Richard Loweendif
7014882c6a3672fd0e5d60200af8643ae53c5928Richard Loweendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteobjects    = $(patsubst %.lhs,%.o,$(sources:%.hs=%.o))
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortedrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs\
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte    Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte    $(gendrifted_files)
a1e9eea083a8f257157edb8a1efb5bbd300eb4bfSrikanth, Ramana
a1e9eea083a8f257157edb8a1efb5bbd300eb4bfSrikanth, Ramanagenrule_header_files = $(wildcard ATC/*.header.hs)
a1e9eea083a8f257157edb8a1efb5bbd300eb4bfSrikanth, Ramana
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortegenrule_files = Common/Lib/Graph.hs Common/Id.hs Common/Result.hs \
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte                Common/AS_Annotation.der.hs \
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte                Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte                Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
                CASL/Sublogic.hs \
                CASL/Morphism.hs CASL/Sign.hs CASL/AS_Basic_CASL.der.hs \
                HasCASL/Le.hs HasCASL/As.hs HasCASL/Symbol.hs \
                HasCASL/Morphism.hs HasCASL/AsToIds.hs \
                CspCASL/AS_CSP_CASL.hs \
                Static/DevGraph.hs \
                Haskell/Hatchet/AnnotatedHsSyn.hs \
                Haskell/Hatchet/MultiModuleBasics.hs \
                Haskell/Hatchet/HsSyn.hs \
                Haskell/Hatchet/Representation.hs\
                Haskell/Hatchet/Class.hs Haskell/Hatchet/KindInference.hs \
                Haskell/Hatchet/Env.hs \
                Isabelle/IsaSign.hs

gendrifted_files = ATC/Graph.hs ATC/Id.hs ATC/Result.hs ATC/AS_Annotation.hs \
                   ATC/AS_Library.hs ATC/GlobalAnnotations.hs \
                   ATC/AS_Structured.hs ATC/AS_Architecture.hs \
                   ATC/DevGraph.hs \
                   CASL/ATC_CASL.hs Haskell/ATC_Haskell.hs \
                   HasCASL/ATC_HasCASL.hs CspCASL/ATC_CspCASL.hs \
                   ATC/IsaSign.hs

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

happy_files = Haskell/Hatchet/HsParser.hs

# this variable holds the modules that should be documented
# the imported parsec library is not included!
doc_sources = $(filter-out ./Isabelle/IsaSign.hs ,$(sources))

####################################################################
### targets

.PHONY : clean d_clean real_clean bin_clean check hetana hetpa hetdg \
         clean_genRules genRules

.SECONDARY : %.hs %.d $(generated_rule_files)
#.PRECIOUS: sources_hetcats.mk

all: hets

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

hets-opt: hetcats/Version.hs
    $(MAKE) distclean
    $(MAKE) derivedSources
    $(MAKE) hets-optimized

hets-optimized:
    $(HC) --make -O -o hets hets.hs $(HC_OPTS) 2>&1 | tee hetcats-make
    strip hets

hets-old: $(objects)
    $(RM) $@
    $(HC) -o hets $(HC_OPTS) $(objects)

hetcats-make: hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)
    $(RM) hetcats-make sources_hetcats.mk
    $(HC) --make -o hets $< $(HC_OPTS) 2>&1 | tee hetcats-make

###############################
### TAGS files for (x)emacs
# load them with "M-x" "visit-tags-table" from
# "HetCATS/hetcats/hetcats.TAGS"
# use "M-." to search for a tag
# !!Beware this is somewhat instable, because it uses an absolute path!!
hetcats.TAGS: $(sources)
    /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
      $(sources); mv TAGS $@; mv tags hetcats.tags

###############################
### Documentation via haddock
doc: docs/index.html

# index for prelude is missing
docs/index.html: $(doc_sources)
    $(HADDOCK) $(doc_sources) -o docs -h \
          -i docs/base.haddock \
          -t 'hets -- a heterogenous Specification (CASL) tool set'

apache_doc:
    $(RM) docs/*.*
    $(MAKE) distclean
    cvs up -d
    $(MAKE) hetcats-make
    $(MAKE) doc
    $(MAKE) post_doc4apache

post_doc4apache:
    $(PERL) utils/post_process_docs.pl docs \
            'Common.Lib.Map.html:Common.Lib._Map.html'
    cp docs/*.* a-docs/
    $(RM) docs/index.html

###############################
### release management

derivedSources: $(drifted_files) $(happy_files) hetcats/Version.hs

utils/DrIFT: $(DRIFT_deps)
    (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
           strip ../DrIFT)

utils/genRules: $(GENERATERULES_deps)
    (cd utils/GenerateRules; \
         $(HC) --make '-i../..:../DrIFT-src' -package text GenerateRules.hs -o ../genRules && \
         strip ../genRules)

release:
    $(RM) -r HetCATS
    cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository co HetCATS
    $(RM) -r uni
    ln -s ../uni uni
    (cd HetCATS; $(MAKE) derivedSources; ./clean.sh; \
           find . -name CVS -o -name \*.o -o -name \*.hi | xargs -r $(RM) -r; \
           $(RM) clean.*; $(RM) Makefile; mv ReleaseMakefile Makefile)
    tar zcvf HetCATS.tgz HetCATS

#############################
### ATC DrIFT-rule generation

genRules: $(generated_rule_files) utils/genRules

$(generated_rule_files): $(genrule_files) utils/genRules #$(genrule_header_files)
    $(MAKE) clean_genRules
    $(foreach file,$(atc_files),$(gen_atc_files))
    utils/genRules -r $(rule) -o CASL    -h ATC/CASL.header.hs \
            $(casl_files)
    utils/genRules -r $(rule) -o HasCASL -h ATC/HasCASL.header.hs \
            $(hascasl_files)
    utils/genRules -r $(rule) -o CspCASL -h ATC/CspCASL.header.hs \
            $(cspcasl_files)
    utils/genRules -r $(rule) -o Haskell -h ATC/Haskell.header.hs \
            $(haskell_files)

rule = ShATermConvertible

gen_atc_files = if [ -f ATC/$(basename $(basename $(notdir $(file)))).header.hs ]; then \
                   utils/genRules -r $(rule) -o ATC -h ATC/$(basename $(basename $(notdir $(file)))).header.hs $(file); \
                else \
                   utils/genRules -r $(rule) -o ATC $(file); \
                fi ;

atc_files := $(filter-out CASL/% HasCASL/% CspCASL/% Haskell/% ,$(genrule_files))
casl_files := $(filter CASL/% ,$(genrule_files))
hascasl_files := $(filter HasCASL/% ,$(genrule_files))
cspcasl_files := $(filter CspCASL/% ,$(genrule_files))
haskell_files := $(filter Haskell/%,$(genrule_files))

clean_genRules:
    $(RM) $(generated_rule_files)

###############
### clean up

### removes *.hi and *.o in all include directories
clean: bin_clean
    for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
    (cd $$p ; $(RM) *.hi *.o) ; done

### remove binaries
bin_clean:
    $(RM) hets
    $(RM) test_parser
    $(RM) CASL/capa
    $(RM) HasCASL/hacapa
    $(RM) Haskell/hapa
    $(RM) Haskell/wrap
    $(RM) Syntax/hetpa
    $(RM) Static/hetana
    $(RM) Static/hetana
    $(RM) GUI/hetdg
    $(RM) hetpa
    $(RM) hetana
    $(RM) hetdg

### additonally removes *.d (dependency files) in every include directory
### also delete *.d.bak (dependency file backups)
d_clean: clean
    for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
    (cd $$p ; $(RM) *.d *.d.bak) ; done

### remove files also in own libraries
lib_clean: clean
    for p in $(subst :, ,$(COMMONLIB_PATH)) . ; do \
    (cd $$p ; $(RM) *.hi *.d *.o) ; done

### additionally removes the files that define the sources-variable
real_clean: bin_clean lib_clean
    $(RM) hetcats-make sources_hetcats.mk

### additionally removes files not in CVS tree
distclean: real_clean clean_genRules d_clean
    $(RM) hetcats/Version.hs
    $(RM) $(drifted_files)
#   $(RM) $(happy_files)

####################################################################
### test targets
####################################################################

### a parser to test annotation parser and Id parsers
test_parser: Common/test_parser

Common/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### interactive
ghci:
    $(HC)i $(HCI_OPTS)

### christian's target
### CASL parser
capa: CASL/capa

CASL/capa: CASL/capa.hs Common/*.hs CASL/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### HasCASL parser
hacapa: HasCASL/hacapa

HasCASL/hacapa: HasCASL/hacapa.hs CASL/capa HasCASL/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### Haskell parser
hapa: Haskell/hapa

Haskell/hapa: Haskell/hapa.hs Haskell/Hatchet/*.hs $(happy_files)
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### HetCASL parser
hetpa: Syntax/hetpa.hs Syntax/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### HetCASL parser
hetana: Static/hetana.hs Static/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### ATC test system
atctest: ATC/ATCTest.hs ATC/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

atctest2: ATC/ATCTest2.hs Common/SimpPretty.hs Common/ATerm/*.hs Common/Lib/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### ATerm.Lib test system
atermlibtest: Common/ATerm/ATermLibTest.hs Common/ATerm/*.hs Common/SimpPretty.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### HetCASL with dev graph
hetdg: GUI/hetdg.hs $(drifted_files) *.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)  -package-conf ../uni/uni-package.conf  -package uni-davinci -package uni-server


### run tests in other directories
check: hetcats
    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done

####################################################################
## Preparing the version of HetCATS
hetcats/Version.hs: hetcats/Version.in version_nr
    $(PERL) utils/build_version.pl version_nr < hetcats/Version.in > $@

## two hardcoded dependencies for a correct generation of Version.hs
hetcats/Options.hs hetcats/WriteFn.hs hetcats/ReadFn.hs: hetcats/Version.hs
hets.hs: hetcats/Version.hs
####################################################################
## rules for DrIFT

%.hs: %.ly
    $(HAPPY) $<

%.hs: %.der.hs utils/DrIFT
    $(DRIFT) $(DRIFT_OPTS) $< > $@

## compiling rules for object and interface files
%.o %.hi: %.hs
    $(HC) -c $< $(HC_OPTS)

%.o %.hi: %.lhs
    $(HC) -c $< $(HC_OPTS)

## compiling rules for dependencies
%.d : %.hs
    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

%.d : %.lhs
    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

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

ifneq ($(MAKECMDGOALS),clean)
ifneq ($(MAKECMDGOALS),real_clean)
ifneq ($(MAKECMDGOALS),d_clean)
ifneq ($(MAKECMDGOALS),real_clean)
ifneq ($(MAKECMDGOALS),distclean)
ifneq ($(MAKECMDGOALS),genRules)
ifneq ($(MAKECMDGOALS),utils/genRules)
ifneq ($(MAKECMDGOALS),derivedSources)
ifneq ($(MAKECMDGOALS),release)
ifneq ($(MAKECMDGOALS),clean_genRules)
ifeq  ($(MAKECMDGOALS),hets-old)
## include every .d file in INCLUDE_PATH
-include $(objects:.o=.d)
endif

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