Mercurial > urweb

comparison Makefile.in @ 430:0af37c883358

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mkdir -p BIN
author Adam Chlipala <adamc@hcoop.net>
date Sat, 25 Oct 2008 12:18:33 -0400
parents 0eb7bb4872d0
children 24d22b843729
comparison
equal deleted inserted replaced
429:2f2d5c8dd320 430:0af37c883358
57 src/urweb.mlton.lex.sml \ 57 src/urweb.mlton.lex.sml \
58 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml 58 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
59 $(MLTON) -output $@ src/urweb.mlb 59 $(MLTON) -output $@ src/urweb.mlb
60 60
61 install: 61 install:
62 mkdir -p $(BIN)
62 cp bin/urweb $(BIN)/ 63 cp bin/urweb $(BIN)/
63 mkdir -p $(LIB_UR) 64 mkdir -p $(LIB_UR)
64 cp lib/*.urs $(LIB_UR)/ 65 cp lib/*.urs $(LIB_UR)/
65 cp lib/*.ur $(LIB_UR)/ 66 cp lib/*.ur $(LIB_UR)/
66 mkdir -p $(LIB_C) 67 mkdir -p $(LIB_C)