dev-ml/ppx_tools/ppx_tools-0.99.3_p20160217.ebuild


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

# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$

EAPI=5

inherit findlib

DESCRIPTION="Tools for authors of ppx rewriters"
HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
# This is the version used by opam.
# Needed by eliom-5[ppx]
#SRC_URI="http://github.com/diml/ppx_tools/archive/${PN}_${PV}.tar.gz"
#SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${PN}_${PV}.tar.gz"
SRC_URI="mirror://gentoo/${P}.tar.gz"

LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE=""

DEPEND=">=dev-lang/ocaml-4.03_beta:="
RDEPEND="${DEPEND}"

#S="${WORKDIR}/${PN}-${PN}_${PV}"

src_compile() {
	emake -j1
}

src_install() {
	findlib_src_install
	dodoc README.md
}