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