diff options
Diffstat (limited to 'devel/coccinelle/files/patch-pycaml-Makefile')
| -rw-r--r-- | devel/coccinelle/files/patch-pycaml-Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/coccinelle/files/patch-pycaml-Makefile b/devel/coccinelle/files/patch-pycaml-Makefile new file mode 100644 index 000000000000..773243339a64 --- /dev/null +++ b/devel/coccinelle/files/patch-pycaml-Makefile @@ -0,0 +1,11 @@ +--- pycaml/Makefile.orig 2009-04-06 12:59:15.000000000 +0200 ++++ pycaml/Makefile 2009-04-06 12:59:20.000000000 +0200 +@@ -3,7 +3,7 @@ + OCAMLMAKEFILE = OCamlMakefile + PY_PREFIX = $(shell python getprefix.py) + PY_VERSION = $(shell python getversion.py) +-CLIBS = python$(PY_VERSION) pthread dl util m c ++CLIBS = python$(PY_VERSION) pthread util m c + + SOURCES = pycaml.ml pycaml_ml.c + RESULT = pycaml |