annotate src/coq/Makefile @ 1893:9a1097954188

compileC: Link libraries in the right order This is needed, at least on recent Ubuntu, to fix this linker error when compiling any Ur/Web application: ld: /tmp/webapp.o: undefined reference to symbol 'uw_write' Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- src/compiler.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
author Anders Kaseorg <andersk@mit.edu>
date Thu, 21 Nov 2013 14:32:11 -0500
parents 705cb41ac7d0
children
rev   line source
adam@1618 1 MODULES := Axioms Name Syntax Semantics
adam@1618 2 VS := $(MODULES:%=%.v)
adam@1618 3
adam@1618 4 .PHONY: coq clean
adam@1618 5
adam@1618 6 coq: Makefile.coq
adam@1618 7 make -f Makefile.coq
adam@1618 8
adam@1618 9 Makefile.coq: Makefile $(VS)
adam@1618 10 coq_makefile -impredicative-set $(VS) -o Makefile.coq
adam@1618 11
adam@1618 12 clean:: Makefile.coq
adam@1618 13 make -f Makefile.coq clean
adam@1618 14 rm -f Makefile.coq