summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Peukert2023-11-24 14:21:46 +0100
committerDaniel Peukert2023-11-24 14:21:46 +0100
commit3d0c9f88754f9088c29fadc6e70988865ea7680b (patch)
tree2c10b950537c46e7c019174100596515eaac1993
downloadaur-3d0c9f88754f9088c29fadc6e70988865ea7680b.tar.gz
Add ocaml-saturn dependencies
-rw-r--r--.SRCINFO20
-rw-r--r--.editorconfig8
-rw-r--r--.gitignore14
-rw-r--r--PKGBUILD39
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"
+}