blob: 69af7e050e4de6efa5e6d982a8e8e5b74432e596 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
# Maintainer: Mark Laws <eMm Dee eLl at 60 hz dot org>
# Contributor: Ben Darwin <bcdarwin@gmail.com>
pkgname=ats2-contrib
_pkgname=ATS2-Postiats-contrib
pkgver=0.4.2
pkgrel=1
pkgdesc="Extra libraries for the ATS2 programming language"
arch=('any')
url="http://www.ats-lang.org/"
license=('GPL3')
depends=("ats2-postiats=${pkgver}")
options=('staticlibs')
source=("https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-${pkgver}/${_pkgname}-${pkgver}.tgz")
sha256sums=('9b485f04bb1a3622da224b5c8a82be66d594b1686ddc80d227a0b3809992d3a7')
prepare() {
# Duplicated from upstream's ats2-postiats archive
rm -fr "${srcdir}/${_pkgname}-${pkgver}/contrib/libatscc/DATS"
rm -fr "${srcdir}/${_pkgname}-${pkgver}/contrib/libatscc/SATS"
rm -fr "${srcdir}/${_pkgname}-${pkgver}/contrib/libatscc/basics.sats"
}
package() {
source /etc/profile.d/ats2-postiats.sh
local patshome="${pkgdir%%/}/${PATSHOME}"
local profiled="${pkgdir}/etc/profile.d"
mkdir -p "${patshome}"
mkdir -p "${profiled}"
cp -a "${srcdir}/${_pkgname}-${pkgver}/." "${patshome}"
cat <<EOF > "${profiled}/${pkgname}.sh"
source /etc/profile.d/ats2-postiats.sh
export PATSHOMERELOC=\$PATSHOME
EOF
cat <<EOF > "${profiled}/${pkgname}.csh"
source /etc/profile.d/ats2-postiats.csh
setenv PATSHOMERELOC \$PATSHOME
EOF
}
# Local Variables:
# compile-command: "makepkg -sm" && mksrcinfo
# End:
|