diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-20 16:50:07 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-20 16:50:07 +0100 |
commit | b0c09b32f3e559ca22afc4dc40fdd60964cb3292 (patch) | |
tree | 84d35a635567f7d348abd29f5688e29daee2f449 /Makefile | |
parent | 860e340b9a383964773d9c4523fb02a1de407e7f (diff) | |
download | compcert-b0c09b32f3e559ca22afc4dc40fdd60964cb3292.tar.gz compcert-b0c09b32f3e559ca22afc4dc40fdd60964cb3292.zip |
Removed the linker flag again.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -174,9 +174,9 @@ doc/coq2html.ml: doc/coq2html.mll ocamllex -q doc/coq2html.mll tools/ndfun: tools/ndfun.ml - ocamlopt -o tools/ndfun str.cmxa tools/ndfun.ml $(LINKERSPEC) + ocamlopt -o tools/ndfun str.cmxa tools/ndfun.ml tools/modorder: tools/modorder.ml - ocamlopt -o tools/modorder str.cmxa tools/modorder.ml $(LINKERSPEC) + ocamlopt -o tools/modorder str.cmxa tools/modorder.ml latexdoc: cd doc; $(COQDOC) --latex -o doc/doc.tex -g $(FILES) |