mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2026-03-06 14:12:23 +01:00
40ea6c48d7
leaving the Maintainer comment there for better visual cues, syntax highlighting, and easy conversion to a Contributor comment since Contributor comments are not being removed, just treat my Maintainer comments like Contributor ones, as a normal comment
37 lines
1.1 KiB
Plaintext
37 lines
1.1 KiB
Plaintext
# 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
|
|
}
|
|
|
|
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
|
|
"
|