comparison Makefile.in @ 431:24d22b843729

Change 'sed' invocation to work in OSX
author Adam Chlipala <adamc@hcoop.net>
date Sat, 25 Oct 2008 18:58:45 -0400
parents 0af37c883358
children 8875ff2e85dc
comparison
equal deleted inserted replaced
430:0af37c883358 431:24d22b843729
30 cat src/prefix.cm src/sources \ 30 cat src/prefix.cm src/sources \
31 >src/urweb.cm 31 >src/urweb.cm
32 32
33 src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb 33 src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb
34 cat src/prefix.mlb src/sources src/suffix.mlb \ 34 cat src/prefix.mlb src/sources src/suffix.mlb \
35 | sed 's/^\(.*\).grm$$/\1.mlton.grm.sig\n\1.mlton.grm.sml/' \ 35 | sed 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/; y/:/\n/' \
36 | sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \ 36 | sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
37 >src/urweb.mlb 37 >src/urweb.mlb
38 38
39 %.mlton.lex: %.lex 39 %.mlton.lex: %.lex
40 cp $< $@ 40 cp $< $@