blob: ec9a84ffe99c24c9278b7fcd7ad5fcd82d25d36c (
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
|
# Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
# Contributor: Kohei Suzuki <eagletmt@gmail.com>
# Contributor: Thomas Dziedzic < gostrc at gmail >
# Contributor: Nathan Owe <ndowens.aur at gmail dot com>
# Contributor: George Giorgidze <giorgidze@gmail.com>
# Contributor: Massimiliano Brocchini <brocchini@netseven.it>
# Contributor: Tej Chajed <tchajed at mit dot edu>
pkgname=camlp5
pkgver=7.02
_relname=rel702
pkgrel=1
arch=('i686' 'x86_64')
pkgdesc='A preprocessor-pretty-printer of OCaml.'
conflicts=('camlp5-transitional')
url='https://camlp5.github.io/'
license=('BSD')
depends=('ocaml')
source=("https://github.com/camlp5/camlp5/archive/$_relname.tar.gz")
options=('staticlibs')
sha1sums=('b69dd1589d9028dac15ac15fdb14beb404ae241f')
build() {
cd ${srcdir}/camlp5-$_relname
./configure \
-prefix '/usr' \
-mandir '/usr/share/man' \
-strict
make world.opt
}
package() {
cd camlp5-$_relname
make DESTDIR=${pkgdir} install
install -D -m644 LICENSE \
${pkgdir}/usr/share/licenses/camlp5/LICENSE
}
|