sci-mathematics/p9m4/p9m4-05-r1.ebuild

   1 # Copyright 1999-2015 Gentoo Foundation
   2 # Distributed under the terms of the GNU General Public License v2
   3 # $Id$
   4
   5 EAPI="5"
   6
   7 PYTHON_COMPAT=( python2_7 )
   8 DISTUTILS_SINGLE_IMPL=1
   9
  10 inherit distutils-r1
  11
  12 MY_PN="p9m4-v"
  13 MY_P="${MY_PN}${PV}"
  14
  15 DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4"
  16 HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
  17 SRC_URI="http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
  18                 https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
  19
  20 LICENSE="GPL-2"
  21 SLOT="0"
  22 KEYWORDS="~amd64 ~x86"
  23 IUSE="examples"
  24
  25 RDEPEND="dev-python/wxpython:*
  26                 sci-mathematics/prover9"
  27 DEPEND="${RDEPEND}
  28                 dev-python/setuptools"
  29
  30 PATCHES=( "${DISTDIR}/${MY_PN}05-64bit.patch.bz2"
  31                 "${FILESDIR}/${MY_PN}05-use-inst-paths.patch"
  32                 "${FILESDIR}/${MY_PN}05-package.patch"
  33                 "${FILESDIR}/${MY_PN}05-python2.6.patch" )
  34
  35 S="${WORKDIR}/${MY_P}/"
  36
  37 python_check_deps() {
  38         has_version "dev-python/foo[${PYTHON_USEDEP}]"
  39 }
  40
  41 pkg_setup() {
  42         python-single-r1_pkg_setup
  43 }
  44
  45 python_prepare_all() {
  46         rm -f p9m4-v05/bin/prover9 \
  47                 p9m4-v05/bin/mace4 \
  48                 p9m4-v05/bin/interpformat \
  49                 p9m4-v05/bin/prooftrans \
  50                 p9m4-v05/bin/isofilter \
  51                 p9m4-v05/bin/isofilter2 || die "Could not rm old executables"
  52         distutils-r1_python_prepare_all
  53         mkdir p9m4 || die "Could not create directory p9m4"
  54         mv Mac-setup.py \
  55                 Win32-setup.py \
  56                 control.py \
  57                 files.py \
  58                 my_setup.py \
  59                 options.py \
  60                 partition_input.py \
  61                 platforms.py \
  62                 utilities.py \
  63                 wx_utilities.py \
  64                 p9m4 \
  65                 || die "Could not move package p9m4 python files to p9m4 directory"
  66         touch p9m4/__init__.py \
  67                 || die "Could not create empty p9m4/__init__.py file"
  68 }
  69
  70 python_install_all() {
  71         dosym /usr/bin/prover9-mace4.py /usr/bin/prover9-mace4
  72         insinto /usr/share
  73         dodir /usr/share/${PN}/Images
  74         insinto /usr/share/${PN}/Images
  75         cd "${S}/Images" \
  76                 || die "Could not cd to Images"
  77         doins *.gif *.ico
  78         if use examples; then
  79                 dodir /usr/share/${PN}/Samples
  80                 insinto /usr/share/${PN}/Samples
  81                 cd "${S}/Samples" \
  82                         || die "Could not cd to Samples"
  83                 doins *.in
  84
  85                 dodir /usr/share/${PN}/Samples/Equality/Mace4
  86                 insinto /usr/share/${PN}/Samples/Equality/Mace4
  87                 cd "${S}/Samples/Equality/Mace4" \
  88                         || die "Could not cd to Samples/Equality/Mace4"
  89                 doins *.in
  90
  91                 dodir /usr/share/${PN}/Samples/Equality/Prover9
  92                 insinto /usr/share/${PN}/Samples/Equality/Prover9
  93                 cd "${S}/Samples/Equality/Prover9" \
  94                         || die "Could not cd to Samples/Equality/Prover9"
  95                 doins *.in
  96
  97                 dodir /usr/share/${PN}/Samples/Non-Equality/Mace4
  98                 insinto /usr/share/${PN}/Samples/Non-Equality/Mace4
  99                 cd "${S}/Samples/Non-Equality/Mace4" \
 100                         || die "Could cd to Samples/Non-Equality/Mace4"
 101                 doins *.in
 102
 103                 dodir /usr/share/${PN}/Samples/Non-Equality/Prover9
 104                 insinto /usr/share/${PN}/Samples/Non-Equality/Prover9
 105                 cd "${S}/Samples/Non-Equality/Prover9" \
 106                         || die "Could not cd to Samples/Non-Equality/Prover9"
 107                 doins *.in
 108         fi
 109 }