diff options
author | Daniel Peukert | 2023-11-24 14:21:46 +0100 |
---|---|---|
committer | Daniel Peukert | 2023-11-24 14:21:46 +0100 |
commit | 3d0c9f88754f9088c29fadc6e70988865ea7680b (patch) | |
tree | 2c10b950537c46e7c019174100596515eaac1993 | |
download | aur-3d0c9f88754f9088c29fadc6e70988865ea7680b.tar.gz |
Add ocaml-saturn dependencies
-rw-r--r-- | .SRCINFO | 20 | ||||
-rw-r--r-- | .editorconfig | 8 | ||||
-rw-r--r-- | .gitignore | 14 | ||||
-rw-r--r-- | PKGBUILD | 39 |
4 files changed, 81 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2358487c3e80 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,20 @@ +pkgbase = ocaml-dscheck + pkgdesc = Experimental model checker for testing concurrent algorithms + pkgver = 0.3.0 + pkgrel = 1 + url = https://github.com/ocaml-multicore/dscheck + arch = x86_64 + arch = aarch64 + license = ISC + checkdepends = ocaml-alcotest>=1.6.0 + makedepends = dune>=2.9.0 + depends = ocaml>=5.0.0 + depends = ocaml-cmdliner + depends = ocaml-containers + depends = ocaml-oseq + depends = ocaml-tsort + options = !strip + source = ocaml-dscheck-0.3.0.tar.gz::https://github.com/ocaml-multicore/dscheck/archive/0.3.0.tar.gz + sha512sums = 8f745c9e42b14e04d217c1039ce013c0268d640abe75f70002032a43f8de7a3c73758ccead65d0dfeb2ea504868aa0ed1a5753e72eac8c8be339edb9c3d7ba5a + +pkgname = ocaml-dscheck 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..004b0a3a8706 --- /dev/null +++ b/.gitignore @@ -0,0 +1,14 @@ +# Only exclude files from the root of the package repo, as some AUR helpers download sources into the directory of the repo, +# which causes the gitignore file to apply to them too, which breaks some builds +# Based on 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..bff9f5c93948 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,39 @@ +# Maintainer: Daniel Peukert <daniel@peukert.cc> +_projectname='dscheck' +pkgname="ocaml-$_projectname" +pkgver='0.3.0' +pkgrel='1' +pkgdesc='Experimental model checker for testing concurrent algorithms' +arch=('x86_64' 'aarch64') +url="https://github.com/ocaml-multicore/$_projectname" +license=('ISC') +depends=('ocaml>=5.0.0' 'ocaml-cmdliner' 'ocaml-containers' 'ocaml-oseq' 'ocaml-tsort') +makedepends=('dune>=2.9.0') +checkdepends=('ocaml-alcotest>=1.6.0') +options=('!strip') +source=("$pkgname-$pkgver.tar.gz::$url/archive/$pkgver.tar.gz") +sha512sums=('8f745c9e42b14e04d217c1039ce013c0268d640abe75f70002032a43f8de7a3c73758ccead65d0dfeb2ea504868aa0ed1a5753e72eac8c8be339edb9c3d7ba5a') + +_sourcedirectory="$_projectname-$pkgver" + +build() { + cd "$srcdir/$_sourcedirectory/" + dune build --release --verbose +} + +check() { + cd "$srcdir/$_sourcedirectory/" + dune runtest --release --verbose +} + +package() { + cd "$srcdir/$_sourcedirectory/" + DESTDIR="$pkgdir" dune install --prefix '/usr' --libdir '/usr/lib/ocaml' --docdir '/usr/share/doc' --mandir '/usr/share/man' --release --verbose + + for _folder in "$pkgdir/usr/share/doc/"*; do + mv "$_folder" "$pkgdir/usr/share/doc/ocaml-$(basename "$_folder")" + done + + install -dm755 "$pkgdir/usr/share/licenses/$pkgname" + ln -sf "/usr/share/doc/$pkgname/LICENSE.md" "$pkgdir/usr/share/licenses/$pkgname/LICENSE.md" +} |