summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Peukert2020-03-21 15:14:15 +0100
committerDaniel Peukert2020-03-21 15:14:15 +0100
commitd0397140df46334e39ca0af44926ed1d969d0cbc (patch)
treeaee71d00157aa798af20f8b16d3b8d8771c906e6
downloadaur-d0397140df46334e39ca0af44926ed1d969d0cbc.tar.gz
Added ocaml-ppx_assert and dependencies
-rw-r--r--.SRCINFO21
-rw-r--r--.editorconfig8
-rw-r--r--.gitignore14
-rw-r--r--PKGBUILD34
4 files changed, 77 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..2b81718617e
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,21 @@
+pkgbase = ocaml-ppx_cold
+ pkgdesc = Expands [@Cold] into [@inline never][@specialise never][@Local never]
+ pkgver = 0.13.0
+ pkgrel = 1
+ url = https://github.com/janestreet/ppx_cold
+ arch = x86_64
+ arch = i686
+ arch = arm
+ arch = armv6h
+ arch = armv7h
+ arch = aarch64
+ license = MIT
+ makedepends = dune>=1.5.1
+ depends = ocaml>=4.04.2
+ depends = ocaml-base>=0.13.0
+ depends = ocaml-ppxlib>=0.9.0
+ options = !strip
+ source = ocaml-ppx_cold-0.13.0-1.tar.gz::https://github.com/janestreet/ppx_cold/archive/v0.13.0.tar.gz
+ sha256sums = d2e97191bdd465ad9e8f59169d48022ebfa2e21bb5ca764cd3be07d59a8e4642
+
+pkgname = ocaml-ppx_cold
diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 00000000000..a467ee9a97a
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,8 @@
+root = true
+
+[*]
+charset = utf-8
+end_of_line = lf
+insert_final_newline = true
+indent_style = tab
+tab_width = 4
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000000..82b3c183d5d
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,14 @@
+# from https://github.com/github/gitignore/blob/master/ArchLinuxPackages.gitignore
+*.tar
+*.tar.*
+*.rpm
+*.jar
+*.exe
+*.msi
+*.zip
+*.tgz
+*.log
+*.log.*
+*.sig
+
+*/
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..2941ebb7c84
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,34 @@
+# Maintainer: Daniel Peukert <dan.peukert@gmail.com>
+# Contributor: Jakob Gahde <j5lx@fmail.co.uk>
+_projectname='ppx_cold'
+pkgname="ocaml-$_projectname"
+pkgver='0.13.0'
+pkgrel='1'
+pkgdesc='Expands [@Cold] into [@inline never][@specialise never][@Local never]'
+arch=('x86_64' 'i686' 'arm' 'armv6h' 'armv7h' 'aarch64')
+url="https://github.com/janestreet/$_projectname"
+license=('MIT')
+depends=('ocaml>=4.04.2' 'ocaml-base>=0.13.0' 'ocaml-ppxlib>=0.9.0')
+makedepends=('dune>=1.5.1')
+options=('!strip')
+source=("$pkgname-$pkgver-$pkgrel.tar.gz::$url/archive/v$pkgver.tar.gz")
+sha256sums=('d2e97191bdd465ad9e8f59169d48022ebfa2e21bb5ca764cd3be07d59a8e4642')
+
+_sourcedirectory="$_projectname-$pkgver"
+
+build() {
+ cd "$srcdir/$_sourcedirectory/"
+ dune build -p "$_projectname" --verbose
+}
+
+package() {
+ cd "$srcdir/$_sourcedirectory/"
+ DESTDIR="$pkgdir" dune install --prefix '/usr' --libdir 'lib/ocaml'
+
+ install -dm755 "$pkgdir/usr/share/doc/$pkgname"
+ mv "$pkgdir/usr/doc/$_projectname/"* "$pkgdir/usr/share/doc/$pkgname/"
+ rm -r "$pkgdir/usr/doc/"
+
+ install -dm755 "$pkgdir/usr/share/licenses/$pkgname"
+ ln -sf "/usr/share/doc/$pkgname/LICENSE.md" "$pkgdir/usr/share/licenses/$pkgname/LICENSE.md"
+}