blob: e4f7eae958af0c2cc4983bb1a51f2241202ea4b2 (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit elisp-common toolchain-funcs
DESCRIPTION="Functional programming language with dependent types"
HOMEPAGE="https://www.cs.bu.edu/~hwxi/atslangweb/
https://sourceforge.net/projects/ats2-lang/"
SRC_URI="http://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-${PV}.tgz"
S="${WORKDIR}/ATS2-Postiats-gmp-${PV}"
LICENSE="GPL-3+"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="emacs"
RDEPEND="
dev-libs/gmp:=
emacs? ( >=app-editors/emacs-25.3:* )
"
DEPEND="
${RDEPEND}
"
SITEFILE="50${PN}-gentoo.el"
src_prepare() {
default
sed -i Makefile \
-e "/^CFLAGS/s|=| = ${CFLAGS}|" \
-e "/^LDFLAGS/s|=| = ${LDFLAGS}|" \
-e "/^MAKE/s|=make| ?= \$(MAKE)|g" \
-e "/^MAKEJ4/s|-j4||" \
|| die
sed -i ccomp/atslib/Makefile \
-i src/CBOOT/Makefile \
-i utils/atscc/Makefile_build \
-i utils/myatscc/Makefile_build \
-e "s|ld |$(tc-getLD) |g" \
-e "s|-O2|${CFLAGS} ${LDFLAGS}|g" \
|| die
sed -i ccomp/atslib/Makefile \
-i src/Makefile \
-e "s|ar -r|$(tc-getAR) ${ARFLAGS} -r|g" \
|| die
rm utils/emacs/flycheck-ats2.el || die
}
src_compile() {
emake -j1 CC="$(tc-getCC)" GCC="$(tc-getCC)" CCOMP="$(tc-getCC)" all
if use emacs ; then
cd utils/emacs || die
elisp-compile ./*.el
fi
}
src_install() {
default
if use emacs ; then
cd utils/emacs || die
elisp-install "${PN}" ./*.el{,c}
elisp-site-file-install "${FILESDIR}/${SITEFILE}"
fi
local ats2_dir="/usr/lib/${PN}-postiats-${PV}"
local contrib_dir="${ats2_dir}/contrib"
# Randomly generated.
local libatslib="${ED}${ats2_dir}/ccomp/atslib/lib/libatslib.a"
if [[ -f "${libatslib}" ]] ; then
rm "${libatslib}" || die
fi
# Broken symlinks.
rm "${ED}${contrib_dir}"/*/*/SATS/DOCUGEN/Makefile.gen || die
}
pkg_postinst() {
use emacs && elisp-site-regen
}
pkg_postrm() {
use emacs && elisp-site-regen
}
|
GitWeb