diff options
| author | Ting-Wei Lan <lantw44@gmail.com> | 2023-02-28 19:47:07 +0800 |
|---|---|---|
| committer | Ting-Wei Lan <lantw44@gmail.com> | 2023-02-28 19:47:07 +0800 |
| commit | 1022cbe14b705e619b94fcfa4fbcc93296d9d5a3 (patch) | |
| tree | acf25eabd6d8a80306be823f2bff607ec8bd0cd8 | |
| parent | 1f339c5add9872b7e5d87d121550e4096c28c146 (diff) | |
| download | AUR4-PKGBUILD-1022cbe14b705e619b94fcfa4fbcc93296d9d5a3.tar.gz AUR4-PKGBUILD-1022cbe14b705e619b94fcfa4fbcc93296d9d5a3.tar.zst AUR4-PKGBUILD-1022cbe14b705e619b94fcfa4fbcc93296d9d5a3.zip | |
guile-quickcheck: 0.1.0 (initial commit)
| -rw-r--r-- | guile-quickcheck/.SRCINFO | 14 | ||||
| -rw-r--r-- | guile-quickcheck/PKGBUILD | 28 |
2 files changed, 42 insertions, 0 deletions
diff --git a/guile-quickcheck/.SRCINFO b/guile-quickcheck/.SRCINFO new file mode 100644 index 0000000..544837e --- /dev/null +++ b/guile-quickcheck/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = guile-quickcheck + pkgdesc = Randomized property-based testing for Guile + pkgver = 0.1.0 + pkgrel = 1 + url = https://ngyro.com/software/guile-quickcheck.html + arch = x86_64 + arch = i686 + arch = armv7h + license = GPL3 + depends = guile + source = https://files.ngyro.com/guile-quickcheck/guile-quickcheck-0.1.0.tar.gz + sha256sums = cb99ac5be99b43b61eb9c452d953543e890e2a83fc83acac289d94316888bc0e + +pkgname = guile-quickcheck diff --git a/guile-quickcheck/PKGBUILD b/guile-quickcheck/PKGBUILD new file mode 100644 index 0000000..b829aab --- /dev/null +++ b/guile-quickcheck/PKGBUILD @@ -0,0 +1,28 @@ +# Maintainer: lantw44 (at) gmail (dot) com + +pkgname=guile-quickcheck +pkgver=0.1.0 +pkgrel=1 +pkgdesc='Randomized property-based testing for Guile' +arch=('x86_64' 'i686' 'armv7h') +url='https://ngyro.com/software/guile-quickcheck.html' +license=('GPL3') +depends=('guile') +source=("https://files.ngyro.com/${pkgname}/${pkgname}-${pkgver}.tar.gz") +sha256sums=('cb99ac5be99b43b61eb9c452d953543e890e2a83fc83acac289d94316888bc0e') + +build() { + cd "${srcdir}/${pkgname}-${pkgver}" + ./configure --prefix=/usr + make +} + +check() { + cd "${srcdir}/${pkgname}-${pkgver}" + make check +} + +package() { + cd "${srcdir}/${pkgname}-${pkgver}" + make DESTDIR="${pkgdir}" install +} |