diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-11-22 09:48:16 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-11-22 09:48:16 -0500 |
commit | d1f2bff235da587284f682679f365311637b1bb1 (patch) | |
tree | 4b68416fb5a53be90b9a91f3d1fcaf32f971f73c /Makefile.am | |
parent | b9f7e59db7470f278b62e7a16e68f33c1deb1ca1 (diff) |
Get SML/NJ support working again
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Makefile.am b/Makefile.am index 48d8b2a2..d626c267 100644 --- a/Makefile.am +++ b/Makefile.am @@ -26,7 +26,7 @@ clean-local: rm -rf .cm src/.cm src/urweb.cm: src/prefix.cm src/sources - cat $^ > $@ + cat $^ | sed -e 's/$$(SRC)\///g' > $@ src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb sed -e 's/^\(.*\).grm$$/$$(BUILD)\/\1.mlton.grm.sig:\1.mlton.grm.sml/' -e 'y/:/\n/' \ @@ -110,10 +110,7 @@ package: hg archive -t tgz -X tests "/tmp/urweb-$(VERSION).tgz" reauto: - -autoreconf - libtoolize -cf - automake --add-missing --force-missing --copy - autoreconf + ./autogen.sh EXTRA_DIST = demo doc lib/js lib/ur xml \ src/coq src/*.sig src/*.sml src/*.mlb src/config.sml.in src/elisp src/*.cm src/sources src/*.grm src/*.lex \ |