mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-06-07 18:45:05 +02:00
36 lines
1.2 KiB
Text
36 lines
1.2 KiB
Text
# Maintainer: Celeste <cielesti@protonmail.com>
|
|
maintainer="Celeste <cielesti@protonmail.com>"
|
|
pkgname=ats2
|
|
pkgver=0.4.2
|
|
pkgrel=0
|
|
pkgdesc="Statically-typed language with formal specification features"
|
|
url="https://www.cs.bu.edu/~hwxi/atslangweb/"
|
|
arch="all"
|
|
license="GPL-3.0-or-later AND LGPL-3.0-or-later"
|
|
makedepends="gmp-dev"
|
|
source="https://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-$pkgver.tgz
|
|
prelude-function-prototypes.patch
|
|
"
|
|
builddir="$srcdir/ATS2-Postiats-gmp-$pkgver"
|
|
options="!check" # no test suite
|
|
|
|
build() {
|
|
./configure \
|
|
--build=$CBUILD \
|
|
--host=$CHOST \
|
|
--prefix=/usr \
|
|
--sysconfdir=/etc \
|
|
--mandir=/usr/share/man \
|
|
--localstatedir=/var
|
|
make -j1 CC="$CC" CCOMP="$CC"
|
|
}
|
|
|
|
package() {
|
|
make -j1 DESTDIR="$pkgdir" install
|
|
find "$pkgdir" \( -name .gitkeep -o -name .keeper \) -delete
|
|
}
|
|
|
|
sha512sums="
|
|
cfc3f15b1365badcdce535afc7e71ffe25471f2661bdc47294b77c917049566eee4eeb8ec373f4121ad474b8528263d7b3ff8627c1f5b7f3ea7475cb95ca7597 ATS2-Postiats-gmp-0.4.2.tgz
|
|
47a2df185d7579868d2c84b071821d376fa82c1c696d784ed671efc45f0643526d7139c9697c3477c0442f9b4203711c0a29936e256a8ba4a2e6cda4612059e7 prelude-function-prototypes.patch
|
|
"
|