Git-Url: 
http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=48c89dfdcc7dff99825c60bd716b830b2c12019d

commit 48c89dfdcc7dff99825c60bd716b830b2c12019d
Author: DeX77 <de...@frugalware.org>
Date:   Mon Aug 7 16:14:35 2017 +0200

ocaml-result-1.2-1-x86_64

* new package

diff --git a/source/devel-extra/ocaml-result/FrugalBuild 
b/source/devel-extra/ocaml-result/FrugalBuild
new file mode 100644
index 0000000..0ff7c81
--- /dev/null
+++ b/source/devel-extra/ocaml-result/FrugalBuild
@@ -0,0 +1,28 @@
+# Compiling Time: 0.06 SBU
+# Maintainer: DeX77 <de...@frugalware.org>
+
+pkgname=ocaml-result
+pkgver=1.2
+pkgrel=1
+pkgdesc='Compatibility Result module'
+archs=('x86_64')
+groups=('devel-extra')
+depends=('ocaml')
+makedepends=('ocaml-findlib')
+_F_github_name="result"
+_F_github_author="janestreet"
+_F_github_tag=yes
+Finclude github
+source+=("fix-build.patch")
+sha1sums=('f9c51e5f92035ddc2600aa69fa3325634086535d' \
+          'ce1c05db482de9329beca1684ca2a7b2c168a1bb')
+_F_cd_path="result-$pkgver"
+
+build() {
+       Fmake
+       export OCAMLFIND_DESTDIR="${Fdestdir}$(ocamlfind printconf destdir)"
+       mkdir -p "${OCAMLFIND_DESTDIR}"
+       Fmakeinstall
+
+}
+
diff --git a/source/devel-extra/ocaml-result/fix-build.patch 
b/source/devel-extra/ocaml-result/fix-build.patch
new file mode 100644
index 0000000..78f3abd
--- /dev/null
+++ b/source/devel-extra/ocaml-result/fix-build.patch
@@ -0,0 +1,22 @@
+From bc029369df3f9435b46936963978403c923cd8ea Mon Sep 17 00:00:00 2001
+From: Jaap Boender <ja...@kerguelen.org>
+Date: Thu, 7 Jul 2016 10:44:46 +0100
+Subject: [PATCH] Added target to fix make errors
+
+---
+ Makefile | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/Makefile b/Makefile
+index 4da40d9..32a98ab 100644
+--- a/Makefile
++++ b/Makefile
+@@ -5,7 +5,7 @@ result.ml: which_result.ml
+       cp `ocaml which_result.ml` result.ml
+
+ .PHONY: byte
+-byte: result.ml
++byte result.cma: result.ml
+       ocamlc -c result.ml
+       ocamlc -a -o result.cma result.cmo
+
_______________________________________________
Frugalware-git mailing list
Frugalware-git@frugalware.org
http://frugalware.org/mailman/listinfo/frugalware-git

Reply via email to