comparison Makefile.in @ 1159:64a9d74111e6

Tiny Makefile fix for sed style/compatibility
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Feb 2010 15:50:13 -0500
parents b0d632cc9edf
children 7a17588edbff
comparison
equal deleted inserted replaced
1158:ed3e5329b60e 1159:64a9d74111e6
721 cat src/prefix.cm src/sources \ 721 cat src/prefix.cm src/sources \
722 >src/urweb.cm 722 >src/urweb.cm
723 723
724 src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb 724 src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb
725 cat src/prefix.mlb src/sources src/suffix.mlb \ 725 cat src/prefix.mlb src/sources src/suffix.mlb \
726 | sed 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/; y/:/\n/' \ 726 | sed -e 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/' -e 'y/:/\n/' \
727 | sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \ 727 -e 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
728 >$@ 728 >$@
729 729
730 src/urweb.mlton.lex: src/urweb.lex 730 src/urweb.mlton.lex: src/urweb.lex
731 cp $< $@ 731 cp $< $@
732 src/urweb.mlton.grm: src/urweb.grm 732 src/urweb.mlton.grm: src/urweb.grm