Mercurial > urweb
comparison Makefile @ 378:168667cdaa95
Proper configuration and installation
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 19 Oct 2008 12:47:10 -0400 |
parents | 71bafe66dbe1 |
children |
comparison
equal
deleted
inserted
replaced
377:78358e5df273 | 378:168667cdaa95 |
---|---|
1 BIN := /usr/local/bin | |
2 LIB := /usr/local/lib/urweb | |
3 INCLUDE := /usr/local/include/urweb | |
4 SITELISP := /usr/local/share/emacs/site-lisp/urweb-mode | |
5 | |
6 LIB_UR := $(LIB)/ur | |
7 LIB_C := $(LIB)/c | |
8 | |
1 all: smlnj mlton c | 9 all: smlnj mlton c |
2 | 10 |
3 .PHONY: all smlnj mlton c clean | 11 .PHONY: all smlnj mlton c clean install |
4 | 12 |
5 smlnj: src/urweb.cm | 13 smlnj: src/urweb.cm |
6 mlton: bin/urweb | 14 mlton: bin/urweb |
7 c: clib/urweb.o clib/driver.o | 15 c: clib/urweb.o clib/driver.o |
8 | 16 |
47 | 55 |
48 bin/urweb: src/urweb.mlb src/*.sig src/*.sml \ | 56 bin/urweb: src/urweb.mlb src/*.sig src/*.sml \ |
49 src/urweb.mlton.lex.sml \ | 57 src/urweb.mlton.lex.sml \ |
50 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml | 58 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml |
51 $(MLTON) -output $@ src/urweb.mlb | 59 $(MLTON) -output $@ src/urweb.mlb |
60 | |
61 install: | |
62 cp bin/urweb $(BIN)/ | |
63 mkdir -p $(LIB_UR) | |
64 cp lib/*.urs $(LIB_UR)/ | |
65 cp lib/*.ur $(LIB_UR)/ | |
66 mkdir -p $(LIB_C) | |
67 cp clib/*.o $(LIB_C)/ | |
68 mkdir -p $(INCLUDE) | |
69 cp include/*.h $(INCLUDE)/ | |
70 mkdir -p $(SITELISP) | |
71 cp src/elisp/*.el $(SITELISP)/ |