1 : |
jhr |
321 |
# Makefile for diderot system
|
2 : |
|
|
#
|
3 : |
jhr |
435 |
# COPYRIGHT (c) 2010 The Diderot Project (http://diderot-language.cs.uchicago.edu)
|
4 : |
jhr |
321 |
# All rights reserved.
|
5 : |
|
|
#
|
6 : |
|
|
|
7 : |
|
|
SHELL = @SHELL@
|
8 : |
|
|
@SET_MAKE@
|
9 : |
|
|
|
10 : |
|
|
BUILD_DIRS = src/dnorm \
|
11 : |
jhr |
569 |
src/compiler \
|
12 : |
|
|
src/lib
|
13 : |
jhr |
321 |
|
14 : |
|
|
.PHONY: help build local-install \
|
15 : |
|
|
clean local-distclean local-devclean
|
16 : |
|
|
|
17 : |
|
|
help:
|
18 : |
|
|
@echo "This Makefile supports the following targets:"
|
19 : |
|
|
@echo " help -- print this message."
|
20 : |
|
|
@echo " build -- build Diderot tools and libraries"
|
21 : |
|
|
@echo " local-install -- install Diderot tools and libraries in "
|
22 : |
|
|
@echo " @DIDEROT_ROOT@/bin"
|
23 : |
|
|
@echo " clean -- remove intermediate files generated during building"
|
24 : |
|
|
@echo " distclean -- remove files generated during configuration"
|
25 : |
|
|
@echo " and building; the resulting tree has the same"
|
26 : |
|
|
@echo " files as the distribution."
|
27 : |
|
|
@echo "The following additional targets are primarily for developers:"
|
28 : |
|
|
@echo " devclean -- remove everything that is not part of the CVS"
|
29 : |
|
|
@echo " repository."
|
30 : |
|
|
|
31 : |
|
|
local-install:
|
32 : |
|
|
for dir in $(BUILD_DIRS); do \
|
33 : |
|
|
(cd $$dir && $(MAKE) local-install) || exit $$?; \
|
34 : |
|
|
done
|
35 : |
|
|
|
36 : |
|
|
build:
|
37 : |
|
|
for dir in $(BUILD_DIRS); do \
|
38 : |
|
|
(cd $$dir && $(MAKE) build) || exit $$?; \
|
39 : |
|
|
done
|
40 : |
|
|
|
41 : |
|
|
#################### Cleanup ####################
|
42 : |
|
|
|
43 : |
|
|
CLEAN_SUBDIRS = $(BUILD_DIRS)
|
44 : |
|
|
|
45 : |
|
|
CLEAN_FILES =
|
46 : |
|
|
|
47 : |
|
|
DISTCLEAN_FILES = Makefile config.status config.log \
|
48 : |
|
|
autom4te*.cache \
|
49 : |
|
|
bin/dnorm \
|
50 : |
|
|
bin/diderotc \
|
51 : |
|
|
bin/install-sml-wrapper.sh \
|
52 : |
|
|
bin/.heap
|
53 : |
|
|
|
54 : |
|
|
DEVCLEAN_FILES = configure
|
55 : |
|
|
|
56 : |
|
|
include @DIDEROT_MKDIR@/clean-rules.gmk
|