aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/findlib-package/Makefile.local
blob: e9c4305567d643f30e943aab2dc067cddb272075 (plain)
1
2
3
OCAMLLIBS   += -package foo
CAMLLINK    := "$(OCAMLFIND)" ocamlc   -rectypes -thread -linkpkg -dontlink str
CAMLOPTLINK := "$(OCAMLFIND)" ocamlopt -rectypes -thread -linkpkg -dontlink str