view Makefile.in @ 723:311ca1ae715d

Simplify type class requirement for tree demo
author Adam Chlipala <adamc@hcoop.net>
date Mon, 13 Apr 2009 08:44:32 -0400
parents 1d34d916c206
children 5368deb3764b
line wrap: on
line source
BIN      := @BIN@
LIB      := @LIB@
INCLUDE  := @INCLUDE@
SITELISP := @SITELISP@

LIB_UR   := $(LIB)/ur
LIB_C    := $(LIB)/c
LIB_JS    := $(LIB)/js

all: smlnj mlton c

.PHONY: all smlnj mlton c clean install package

smlnj: src/urweb.cm
mlton: bin/urweb
c: lib/c/urweb.o lib/c/driver.o

clean:
	rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
		src/urweb.cm src/urweb.mlb \
		lib/c/*.o
	rm -rf .cm src/.cm

lib/c/urweb.o: src/c/urweb.c include/*.h
	gcc -O3 -I include -c src/c/urweb.c -o lib/c/urweb.o $(CFLAGS)

lib/c/driver.o: src/c/driver.c include/*.h
	gcc -O3 -I include -c src/c/driver.c -o lib/c/driver.o $(CFLAGS)

src/urweb.cm: src/prefix.cm src/sources
	cat src/prefix.cm src/sources \
	>src/urweb.cm

src/urweb.mlb: src/prefix.mlb src/sources src/suffix.mlb
	cat src/prefix.mlb src/sources src/suffix.mlb \
	| sed 's/^\(.*\).grm$$/\1.mlton.grm.sig:\1.mlton.grm.sml/; y/:/\n/' \
	| sed 's/^\(.*\).lex$$/\1.mlton.lex.sml/' \
	>src/urweb.mlb

%.mlton.lex: %.lex
	cp $< $@
%.mlton.grm: %.grm
	cp $< $@

%.mlton.lex.sml: %.mlton.lex
	mllex $<

%.mlton.grm.sig %.mlton.grm.sml: %.mlton.grm
	mlyacc $<

MLTON := mlton

ifdef DEBUG
	MLTON += -const 'Exn.keepHistory true'
endif

ifdef PROFILE
	MLTON += -profile $(PROFILE)
endif

bin/urweb: src/urweb.mlb src/*.sig src/*.sml \
		src/urweb.mlton.lex.sml \
		src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
	$(MLTON) -output $@ src/urweb.mlb

install:
	mkdir -p $(BIN)
	cp bin/urweb $(BIN)/
	mkdir -p $(LIB_UR)
	cp lib/ur/*.urs $(LIB_UR)/
	cp lib/ur/*.ur $(LIB_UR)/
	mkdir -p $(LIB_C)
	cp lib/c/*.o $(LIB_C)/
	mkdir -p $(LIB_JS)
	cp lib/js/*.js $(LIB_JS)/
	mkdir -p $(INCLUDE)
	cp include/*.h $(INCLUDE)/
	mkdir -p $(SITELISP)
	cp src/elisp/*.el $(SITELISP)/

package:
	hg archive -t tgz -X tests /tmp/urweb.tgz