diff options
author | Alexis Ballier <aballier@gentoo.org> | 2012-08-03 13:10:56 +0000 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2012-08-03 13:10:56 +0000 |
commit | fa4151a18b5673d0e53d30d03274b7f87acac67b (patch) | |
tree | 79dbeb8d852ea123c6e4208fcfacd4cf1b90080a /dev-ml/deriving-ocsigen | |
parent | Stable on amd64 wrt bug #418697 (diff) | |
download | historical-fa4151a18b5673d0e53d30d03274b7f87acac67b.tar.gz historical-fa4151a18b5673d0e53d30d03274b7f87acac67b.tar.bz2 historical-fa4151a18b5673d0e53d30d03274b7f87acac67b.zip |
Initial import, ebuild by Jacques-Pascal Deplaix and Guillaume Horel, bug #406653
Package-Manager: portage-2.2.0_alpha120/cvs/Linux x86_64
Diffstat (limited to 'dev-ml/deriving-ocsigen')
-rw-r--r-- | dev-ml/deriving-ocsigen/ChangeLog | 11 | ||||
-rw-r--r-- | dev-ml/deriving-ocsigen/Manifest | 14 | ||||
-rw-r--r-- | dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild | 50 | ||||
-rw-r--r-- | dev-ml/deriving-ocsigen/metadata.xml | 8 |
4 files changed, 83 insertions, 0 deletions
diff --git a/dev-ml/deriving-ocsigen/ChangeLog b/dev-ml/deriving-ocsigen/ChangeLog new file mode 100644 index 000000000000..4fa2b1927141 --- /dev/null +++ b/dev-ml/deriving-ocsigen/ChangeLog @@ -0,0 +1,11 @@ +# ChangeLog for dev-ml/deriving-ocsigen +# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/deriving-ocsigen/ChangeLog,v 1.1 2012/08/03 13:10:56 aballier Exp $ + +*deriving-ocsigen-0.3c (03 Aug 2012) + + 03 Aug 2012; Alexis Ballier <aballier@gentoo.org> + +deriving-ocsigen-0.3c.ebuild, +metadata.xml: + Initial import, ebuild by Jacques-Pascal Deplaix and Guillaume Horel, bug + #406653 + diff --git a/dev-ml/deriving-ocsigen/Manifest b/dev-ml/deriving-ocsigen/Manifest new file mode 100644 index 000000000000..4cad1c796048 --- /dev/null +++ b/dev-ml/deriving-ocsigen/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST deriving-ocsigen-0.3c.tar.gz 61242 SHA256 eb6e7e647b6f2effcc65c9b32076fbc12e366e16035447a762a93e5e1cba94c7 SHA512 121225b2a143676ec7e49e2f8eb22b674280e74276192d2ffb9b3e063cb47029421bffab87f838ad74bcfa08af27a53a5d745f2dc2398eae3e0e9c02849c818a WHIRLPOOL a9686b3b064a1bdacae2415248c2b7a825738ab7889d6fd56ffa575694ddb151d928b07621aca1d1be9c4fb624647fb5c0be2debdeea5d3fdae879a555b9b980 +EBUILD deriving-ocsigen-0.3c.ebuild 980 SHA256 6789418038ed9f6e0e7d4eee51f82df1c28ec3e34b09790f758383969a5d345e SHA512 3e9bd9d3f9b82042f90dd0719d4feb2e094f377dc17fda8170dffc5e460fc7a52c6779e6cefaf8ab05b6ea6bcfc7e4f512fc6aa43c5a269d7b2c1c422e297a47 WHIRLPOOL 910e2271fbc37edb0eab2fc6568aef9f8bc14c56a373bb12764d8c45269433a438ef798f2418f1a364870431c003da79c7fb51448a9986249fc21cc9a7688276 +MISC ChangeLog 446 SHA256 272a5688cc63a3578b2c6bf431a4afa5c6531188da652eec683e3d00df2ee618 SHA512 7087d067125dfb37a787da504799c36c0f92ea13243f822261b6f4d4896e44e03671b73e23c0f4bf090aa0eb1d8c5845556a9f01c0c43e0aca65d388e49a3c17 WHIRLPOOL af816cc469af484eb1ced750fab05037d69b33ce318ca38f1636d130c1d6b9fe0152ec95f6bd7ce47c2dd8bafe66a2428930a17802bb04968d8e813d2a2cd1d4 +MISC metadata.xml 243 SHA256 8863ed512bdf20fb95d0a4d22c49271faa55360463c23a9b43ffa92b3b6e9f95 SHA512 6be91a8f9a06bba2eedd689efed6e120f3e8620ead28c1b417f560449c86e5ade38398d451810d0283afbc899d5a489e3ad6886f9a3f4883eda63237f25c6670 WHIRLPOOL ea109fbc4945bb6032b7072c8d4068fcaf8eec496999032d6b854aa28247efce61cc23fc395926916370440216f3db4a5d849e1481c8055e7e208ed2df67c894 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.19 (GNU/Linux) + +iEYEAREIAAYFAlAbzeUACgkQvFcC4BYPU0oepQCfXc9eulD3c8KXc9bOnAGDVs3g +6e4AnRkA5Af17YNjPRtSFf3wBCFuU5Kz +=9dCa +-----END PGP SIGNATURE----- diff --git a/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild b/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild new file mode 100644 index 000000000000..f3cd5e3febb3 --- /dev/null +++ b/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild @@ -0,0 +1,50 @@ +# Copyright 1999-2012 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild,v 1.1 2012/08/03 13:10:56 aballier Exp $ + +EAPI=4 + +inherit findlib + +DESCRIPTION="A deriving library for Ocsigen" +HOMEPAGE="http://ocsigen.org" +SRC_URI="http://www.ocsigen.org/download/${P}.tar.gz" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0" +KEYWORDS="~amd64" +IUSE="+ocamlopt type-conv" + +DEPEND=">=dev-lang/ocaml-3.12[ocamlopt?] + type-conv? ( >=dev-ml/type-conv-108 )" +RDEPEND="${DEPEND}" + +src_prepare() { + find . -type f -exec sed -i 's/type-conv/type_conv/g' {} + +} + +src_configure() { + use type-conv || echo "TYPECONV :=" >> Makefile.config +} + +src_compile() { + if use ocamlopt; then + emake + else + emake byte + fi +} + +src_test() { + emake tests +} + +src_install() { + findlib_src_preinst + if use ocamlopt; then + emake install + else + emake install-byte + fi + dodoc CHANGES README +} diff --git a/dev-ml/deriving-ocsigen/metadata.xml b/dev-ml/deriving-ocsigen/metadata.xml new file mode 100644 index 000000000000..009b874f943c --- /dev/null +++ b/dev-ml/deriving-ocsigen/metadata.xml @@ -0,0 +1,8 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>ml</herd> +<use> + <flag name='type-conv'>Enable type-conv for the syntax extention.</flag> +</use> +</pkgmetadata> |