Mercurial > urweb
view Makefile.in @ 636:de8333ef1a0c
Coq README
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 26 Feb 2009 13:56:54 -0500 |
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