Skip to content

Commit

Permalink
deactivate "Sed"
Browse files Browse the repository at this point in the history
  • Loading branch information
tuong committed Oct 4, 2012
1 parent 882e63a commit 5948468
Show file tree
Hide file tree
Showing 76 changed files with 763 additions and 2,384 deletions.
97 changes: 0 additions & 97 deletions packages/FrontC.3.4/files/opam.ml

This file was deleted.

25 changes: 25 additions & 0 deletions packages/FrontC.3.4/files/opam.patch.in
@@ -0,0 +1,25 @@
diff -ru /tmp/opam-25607-3684/FrontC.3.4/Makefile.head /tmp/opam-25607-3793/FrontC.3.4/Makefile.head
--- /tmp/opam-25607-3684/FrontC.3.4/Makefile.head 2008-04-01 15:53:52.000000000 +0200
+++ /tmp/opam-25607-3793/FrontC.3.4/Makefile.head 2012-10-04 16:19:22.423550934 +0200
@@ -84,8 +84,8 @@
$$(OCAMLC) -a $$($(1)_LDFLAGS) $$(OCAMLC_LDFLAGS) -o $$@ $$($(1)_CMO) $$(OCAMLC_LIBS)

_install_$(1)_CMA:
- install -d $(OCAML_SITE)/$(1)
- install $(1).cma $$($(1)_CMIO) $(OCAML_SITE)/$(1)
+ install -d $(OCAML_SITE)/FrontC
+ install $(1).cma $$($(1)_CMIO) $(OCAML_SITE)/FrontC

endef

@@ -114,8 +114,8 @@
$$(OCAMLOPT) -a $$($(1)_LDFLAGS) $$(OCAMLOPT_LDFLAGS) -o $$@ $$($(1)_CMX) $$(OCAMLOPT_LIBS)

_install_$(1)_CMXA:
- install -d $(OCAML_SITE)/$(1)
- install $(1).cmxa $(1).a $$($(1)_CMIX) $(OCAML_SITE)/$(1)
+ install -d $(OCAML_SITE)/FrontC
+ install $(1).cmxa $(1).a $$($(1)_CMIX) $(OCAML_SITE)/FrontC

endef

7 changes: 5 additions & 2 deletions packages/FrontC.3.4/opam
@@ -1,11 +1,14 @@
opam-version: "1" opam-version: "1"
maintainer: "contact@ocamlpro.com" maintainer: "contact@ocamlpro.com"
substs: ["opam.patch"]
build: [ build: [
["ocaml" "str.cma" "unix.cma" "opam.ml" "sed" "_add_expr_" "87" "/$(1)" "/FrontC" "_add_expr_" "88" "/$(1)" "/FrontC" "_add_expr_" "117" "/$(1)" "/FrontC" "_add_expr_" "118" "/$(1)" "/FrontC" "Makefile.head"]
["%{make}%" "install" "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"] ["%{make}%" "install" "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"]
["cp" "META" "%{lib}%/FrontC"] ["cp" "META" "%{lib}%/FrontC"]
] ]
remove: [ remove: [
["ocamlfind" "remove" "FrontC"] ["ocamlfind" "remove" "FrontC"]
] ]
depends: ["ocamlfind"] depends: [
"ocamlfind"
]
patches: ["opam.patch"]
97 changes: 0 additions & 97 deletions packages/alt-ergo.0.94/files/opam.ml

This file was deleted.

21 changes: 21 additions & 0 deletions packages/alt-ergo.0.94/files/opam.patch.in
@@ -0,0 +1,21 @@
diff -ru /tmp/opam-25607-3017/alt-ergo.0.94/configure.in /tmp/opam-25607-128/alt-ergo.0.94/configure.in
--- /tmp/opam-25607-3017/alt-ergo.0.94/configure.in 2011-12-07 10:37:55.000000000 +0100
+++ /tmp/opam-25607-128/alt-ergo.0.94/configure.in 2012-10-04 16:19:23.614176085 +0200
@@ -75,7 +75,7 @@

#looking for ocamlgraph library

-AC_CHECK_FILE($OCAMLLIB/ocamlgraph/graph.cmi,OCAMLGRAPH=yes,OCAMLGRAPH=no)
+AC_CHECK_FILE(%{lib}%/ocamlgraph/graph.cmi,OCAMLGRAPH=yes,OCAMLGRAPH=no)
if test "$OCAMLGRAPH" = no ; then
AC_CHECK_FILE($OCAMLLIB/graph.cmi,OCAMLGRAPH=yes,OCAMLGRAPH=no)
if test "$OCAMLGRAPH" = no ; then
@@ -84,7 +84,7 @@
OCAMLGRAPHLIB=""
fi
else
- OCAMLGRAPHLIB="-I +ocamlgraph"
+ OCAMLGRAPHLIB="-I %{lib}%/ocamlgraph"
fi

# then we look for ocamlopt; if not present, we issue a warning
7 changes: 5 additions & 2 deletions packages/alt-ergo.0.94/opam
@@ -1,10 +1,13 @@
opam-version: "1" opam-version: "1"
maintainer: "contact@ocamlpro.com" maintainer: "contact@ocamlpro.com"
substs: ["opam.patch"]
build: [ build: [
["ocaml" "str.cma" "unix.cma" "opam.ml" "sed" "_add_expr_" "78" "$OCAMLLIB" "%{lib}%" "_add_expr_" "87" "+ocamlgraph" "%{lib}%/ocamlgraph" "configure.in"]
["autoconf"] ["autoconf"]
["./configure" "-prefix" "%{prefix}%"] ["./configure" "-prefix" "%{prefix}%"]
["%{make}%"] ["%{make}%"]
["%{make}%" "install" "MANDIR=%{man}%/man1"] ["%{make}%" "install" "MANDIR=%{man}%/man1"]
] ]
depends: ["ocamlgraph" {= "1.8.2"}] depends: [
"ocamlgraph" {= "1.8.2"}
]
patches: ["opam.patch"]
97 changes: 0 additions & 97 deletions packages/bigbro.2.0.4-rev3/files/opam.ml

This file was deleted.

0 comments on commit 5948468

Please sign in to comment.