diff options
author | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
---|---|---|
committer | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
commit | 97f982dbe4601b71a20e212f209725e2dc94f902 (patch) | |
tree | 97f00f341bfce7c33604e4f0df24d01515d66593 /src/compiler.mlb | |
parent | 8bd4eae5acc8c4dbfdc3dcfef462516ef9358a20 (diff) |
Allow building in a separate build directory
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
Makefile.am | 30 +++---
src/c/Makefile.am | 2 +-
src/compiler.mlb | 2 +-
src/sources | 302 +++++++++++++++++++++++++++---------------------------
4 files changed, 168 insertions(+), 168 deletions(-)
Diffstat (limited to 'src/compiler.mlb')
-rw-r--r-- | src/compiler.mlb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.mlb b/src/compiler.mlb index f0007284..04a58719 100644 --- a/src/compiler.mlb +++ b/src/compiler.mlb @@ -1,6 +1,6 @@ $(SML_LIB)/basis/basis.mlb $(SML_LIB)/basis/mlton.mlb -urweb.mlb +$(BUILD)/urweb.mlb main.mlton.sml |