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