[/] [trunk/] [src/] [Makefile] -
Diff 46 ⟶ 47
Diff between revs
46
and
47
| Rev 46 |
Rev 47 |
|---|
| Line 1... |
Line 1... |
# $Id: Makefile 46 2008-05-10 11:31:16Z tbourke $
|
# $Id: Makefile 47 2008-05-11 05:46:38Z tbourke $
|
#
|
#
|
URPAL_VERSION=0.9.0
|
URPAL_VERSION=0.9.0
|
HEAP_SUFFIX=x86-bsd
|
HEAP_SUFFIX=x86-bsd
|
MLTONOPT=-loop-passes 1
|
MLTONOPT=-loop-passes 1
|
|
|
| Line 13... |
Line 13... |
SKIPCM=-type d -name '.cm' -prune -type f -o
|
SKIPCM=-type d -name '.cm' -prune -type f -o
|
SRC!=find . $(SKIPCM) -name '*sml' -o -name '*sig'
|
SRC!=find . $(SKIPCM) -name '*sml' -o -name '*sig'
|
SRCDIRS=. ./cmdlang ./config ./graphviz ./graphviz ./lib \
|
SRCDIRS=. ./cmdlang ./config ./graphviz ./graphviz ./lib \
|
./maketest ./uppaal ./uppaalxml ./mcs51 ./layout
|
./maketest ./uppaal ./uppaalxml ./mcs51 ./layout
|
|
|
urpal: $(SRC) version.sml
|
urpal: $(SRC) version.sml tags
|
ml-build sources.cm Urpal.main urpal
|
ml-build sources.cm Urpal.main urpal
|
$(HEAP2EXEC) urpal.$(HEAP_SUFFIX) urpal
|
$(HEAP2EXEC) urpal.$(HEAP_SUFFIX) urpal
|
@rm urpal.$(HEAP_SUFFIX)
|
@rm urpal.$(HEAP_SUFFIX)
|
|
|
withmlton: cmdlang/cmdlang.grm.sml cmdlang/cmdlang.lex.sml \
|
withmlton: cmdlang/cmdlang.grm.sml cmdlang/cmdlang.lex.sml \
|
withmlton: cmdlang/cmdlang.grm.sml cmdlang/cmdlang.lex.sml \
|
withmlton: cmdlang/cmdlang.grm.sml cmdlang/cmdlang.lex.sml \
|