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 | 9e813736bd6839d308850ecb90f0d9879232ef9f (patch) | |
tree | 97f00f341bfce7c33604e4f0df24d01515d66593 /src/compiler.mlb | |
parent | e5b80fe0886a6753cf2cad4cb5e1d34fc2761472 (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 |