# HG changeset patch # User Adam Chlipala # Date 1385131696 18000 # Node ID 0337d8aed94bbd35edef3deeb32bbaa2208a6b97 # Parent 659d1f4e95bfca35c968e9cd32ff525617c4c3dd Get SML/NJ support working again diff -r 659d1f4e95bf -r 0337d8aed94b Makefile.am --- a/Makefile.am Fri Nov 22 09:36:14 2013 -0500 +++ b/Makefile.am Fri Nov 22 09:48:16 2013 -0500 @@ -26,7 +26,7 @@ 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 @@ 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 \