Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

fix OCamlMakefile for handling camp4 extension correctly.

  • Loading branch information...
commit de69a4ed821db7165941616d2b3b649a4262cff1 1 parent 32f0ade
@samoht samoht authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  OCamlMakefile
View
2  OCamlMakefile
@@ -328,7 +328,7 @@ ifndef REAL_OCAMLFIND
ifdef PREDS
PRE_OCAML_FIND_PREDICATES := $(subst $(space),$(comma),$(PREDS))
PRE_OCAML_FIND_PACKAGES := $(subst $(space),$(comma),$(PACKS))
- OCAML_FIND_PREDICATES := -predicates $(PRE_OCAML_FIND_PREDICATES)
+ OCAML_FIND_PREDICATES := -syntax $(PRE_OCAML_FIND_PREDICATES)
OCAML_DEP_PREDICATES := -syntax $(PRE_OCAML_FIND_PREDICATES)
OCAML_FIND_PACKAGES := $(OCAML_FIND_PREDICATES) -package $(PRE_OCAML_FIND_PACKAGES)
OCAML_DEP_PACKAGES := $(OCAML_DEP_PREDICATES) -package $(PRE_OCAML_FIND_PACKAGES)
Please sign in to comment.
Something went wrong with that request. Please try again.