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