blob: 6c07d0332e1bf3914daa4302eda636515e325feb (
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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit elisp-common
DESCRIPTION="Higher-order logic programming language Lambda Prolog"
HOMEPAGE="https://teyjus.cs.umn.edu/"
SRC_URI="https://github.com/teyjus/teyjus/archive/v${PV}.tar.gz -> ${P}.tar.gz"
SLOT="0/${PV}"
LICENSE="GPL-3"
KEYWORDS="~amd64 ~x86"
IUSE="emacs examples"
RDEPEND="dev-lang/ocaml[ocamlopt]
emacs? ( >=app-editors/emacs-23.1:* )"
DEPEND="${RDEPEND}
app-text/dos2unix
dev-util/omake"
SITEFILE=50${PN}-gentoo.el
PATCHES=( "${FILESDIR}/${P}-p001-Fixes-arity-for-pervasive-modulo-operation.patch"
"${FILESDIR}/${P}-p002-Add-string-literals-from-proper-character-groups.patch"
"${FILESDIR}/${P}-p003-Removing-deprecated-function-String.set.patch"
"${FILESDIR}/${P}-p004-Renaming-ccode_stubs-for-compilation.patch"
"${FILESDIR}/${P}-p005-Unbundle-ocaml-header-files.patch"
"${FILESDIR}/${P}-p006-Version.patch" )
src_prepare() {
rm -rf source/front/caml \
|| die "Could not remove bundled ocaml header files"
find . -type f -exec dos2unix --quiet {} \; \
|| die "Could not convert files from DOS to Unix format"
mv source/front/ccode_stubs.c source/front/ccode_stubs_c.c \
|| die "Could not rename source/front/ccode_stubs.c to source/front/ccode_stubs_c.c"
mv source/front/ccode_stubs.mli source/front/ccode_stubs.ml \
|| die "Could not rename source/front/ccode_stubs.mli to source/front/ccode_stubs.ml"
default
local cflags=""
for i in ${CFLAGS}
do
cflags="${cflags} -ccopt ${i}"
done
local lflags=""
for i in ${LDFLAGS}
do
lflags="${lflags} -cclib ${i}"
done
local bs="LDFLAGS += ${LDFLAGS}\n"
bs+="CC = ${CC:-gcc}\n"
bs+="CPP = ${CPP:-cpp}\n"
bs+="LD = ${LD:-ld}\n"
bs+="AR(name) =\n"
bs+=" return(${AR:-ar} cq \$(name))\n"
bs+="AS = ${AS:-as}\n"
bs+="RANLIB = ${RANLIB:-ranlib}"
sed -e "s@\(OCAMLFLAGS= -w -A\)@\1 -cc ${CC:-gcc} ${cflags}${lflags}@" \
-e "s@\(CFLAGS +=\) -g@\1 ${CFLAGS}\n${bs}@" \
-i "${S}/source/OMakefile" \
|| die "Could not set flags in ${S}/source/OMakefile"
}
src_compile() {
export HOME="${T}"
omake --verbose --force-dotomake all || die "omake all failed"
if use emacs ; then
pushd "${S}/emacs" || die "Could change directory to emacs"
elisp-compile *.el || die "emacs elisp compile failed"
popd
fi
}
ins_example_dir() {
insinto "/usr/share/${PN}/examples/${1}"
cd "${S}/examples/${1}"
doins *
}
src_install() {
newbin source/tjcc.opt tjcc
newbin source/tjdepend.opt tjdepend
newbin source/tjdis.opt tjdis
newbin source/tjlink.opt tjlink
newbin source/tjsim.opt tjsim
dodoc README.md QUICKSTART
if use emacs ; then
elisp-install ${PN} emacs/*.{el,elc}
elisp-make-site-file "${SITEFILE}"
fi
if use examples; then
ins_example_dir "handbook/logic"
ins_example_dir "handbook/progs"
ins_example_dir "misc"
ins_example_dir "ndprover"
ins_example_dir "pcf"
fi
}
pkg_postinst() {
if use emacs; then
elisp-site-regen
ewarn "For teyjus emacs, add this line to ~/.emacs"
ewarn ""
ewarn "(require 'teyjus)"
fi
}
pkg_postrm() {
use emacs && elisp-site-regen
}
|
