Makefile revision 5ce19352a9cc47d982819cc889a71cd0a61ac171
749N/A# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005 749N/A# This Makefile will compile the new hets system and provides also 749N/A# targets for test programs during implementation phases. 749N/A# !!! Note: This makefile is written for GNU make !!! 749N/A#################################################################### 749N/A## Some varibles, which control the compilation 749N/A# the 'replacing spaces' example was taken from the (GNU) Make info manual 1233N/A## set ghc imports properly for your system 749N/A# import directories for ghc-5.04.2 749N/A# override on commandline for other architectures 749N/A# remove -fno-warn-orphans for older ghcs and add -ifgl 749N/A# -ddump-minimal-imports 749N/A# but added it here in case of compilation without uni 749N/A# some modules from uni for haddock 749N/A### list of directories to run checks in 749N/A echo "{-# OPTIONS -w #-}" > $@
749N/A## rule for appendHaskellPreludeString 749N/A#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB 749N/A## rule for ATC generation 749N/A### Profiling (only for debugging) 749N/A### Attention every module must be compiled with profiling or the linker 749N/A### cannot link the various .o files properly. So after switching on 749N/A### Profiling, do an 'gmake real_clean; gmake' 749N/A### Comment in the following line for switching on profiling. 749N/A#HC_PROF = -prof -auto-all -fignore-asserts 749N/A#################################################################### 749N/A# sources that have {-# OPTIONS -cpp #-} 749N/A# unused, remove when header files are gone 749N/A# this variable holds the modules that should be documented 749N/A#################################################################### 749N/A############################### 749N/A### TAGS files for (x)emacs 749N/A# load them with "M-x" "visit-tags-table" from 749N/A# use "M-." to search for a tag 749N/A# !!Beware this is somewhat instable, because it uses an absolute path!! 749N/A @
echo 'File : Maintainer' > $@
749N/A 'foreach my $$f (@ARGV) { open I, "<$$f"; \ 749N/A print "$$f :"; while (<I>) \ 749N/A { if(m,^\s*Maintainer\s*:\s*(.*)$$,o) { \ 749N/A print " $$1" ; last} }; print "\n"; close I; }' \
749N/A############################### 749N/A############################### 749N/A### Documentation via haddock 749N/A# generate haddock documentation with links to sources 749N/A -t
'Hets - the Heterogeneous Tool Set' \
749N/A# sources are not copied here 749N/A############################### 749N/A# "hssource" for ghc-5.04.2 749N/A################################### 749N/A @
echo "please copy the file manually to Common" 749N/A############################# 749N/A### ATC DrIFT-rule generation 749N/A### removes *.hi and *.o in all include directories 749N/A### additionally removes the library files 749N/A### additionally removes generated files not in the CVS tree 749N/A#################################################################### 749N/A#################################################################### 749N/A### a parser to test annotation parser and Id parsers 749N/A### Haskell wrapper parser 749N/A### Haskell to Isabelle-HOLCF translation 749N/A### HasCASL to Haskell translation 749N/A### test program to check the known provers 749N/A### HetCASL with dev graph 749N/A### run tests in other directories 749N/A#################################################################### 749N/A## Preparing the version of HetCATS 749N/A#################################################################### 749N/A echo "{-# OPTIONS -w #-}" > $@
749N/A## rules for inlineAxioms 749N/A## rule for cpp and haddock 749N/A## compiling rules for object and interface files 749N/A## compiling rules for dependencies 749N/A## generate the inline file for the predefined CASL_DL sign 749N/A# Warning: Don't change the order of the depencies!!