diff options
author | Daniel Peukert | 2020-03-21 15:14:15 +0100 |
---|---|---|
committer | Daniel Peukert | 2020-03-21 15:14:15 +0100 |
commit | d0397140df46334e39ca0af44926ed1d969d0cbc (patch) | |
tree | aee71d00157aa798af20f8b16d3b8d8771c906e6 | |
download | aur-d0397140df46334e39ca0af44926ed1d969d0cbc.tar.gz |
Added ocaml-ppx_assert and dependencies
-rw-r--r-- | .SRCINFO | 21 | ||||
-rw-r--r-- | .editorconfig | 8 | ||||
-rw-r--r-- | .gitignore | 14 | ||||
-rw-r--r-- | PKGBUILD | 34 |
4 files changed, 77 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2b81718617e5 --- /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 000000000000..a467ee9a97a6 --- /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 000000000000..82b3c183d5d4 --- /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 000000000000..2941ebb7c844 --- /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" +} |