Re: [PATCH 4/6] gnu: Add python-pycosat

2017-02-09 Thread Marius Bakke
Muriithi Frederick Muriuki writes: > * gnu/packages/python.scm (python-pycosat): New variable. Applied! This software bundles the "picosat" C program, so I added a TODO note for removing it (we try to unbundle software and use Guix versions wherever feasible). > --- > gnu/packages/python.scm |

[PATCH 4/6] gnu: Add python-pycosat

2017-02-09 Thread Muriithi Frederick Muriuki
* gnu/packages/python.scm (python-pycosat): New variable. --- gnu/packages/python.scm | 21 + 1 file changed, 21 insertions(+) diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm index 9e17caf..e9df67c 100644 --- a/gnu/packages/python.scm +++ b/gnu/packages/python.s

Re: [PATCH 4/6] gnu: Add python-pycosat

2017-02-09 Thread Frederick Muriithi
On Thu, Feb 9, 2017 at 1:35 AM, Marius Bakke wrote: > > Does this package not need "picosat" as input? Or is it bundled? > I used `./pre-inst-env guix environment guix --pure -- ./pre-inst-env guix build --rounds=3 python-pycosat` to build the package, and it built successfully without requiring

Re: [PATCH 4/6] gnu: Add python-pycosat

2017-02-08 Thread Marius Bakke
Muriithi Frederick Muriuki writes: > * gnu/packages/python.scm (python-pycosat): New variable. > --- > gnu/packages/python.scm | 20 > 1 file changed, 20 insertions(+) > > diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm > index 44704b2..170107a 100644 > --- a/

[PATCH 4/6] gnu: Add python-pycosat

2017-02-07 Thread Muriithi Frederick Muriuki
* gnu/packages/python.scm (python-pycosat): New variable. --- gnu/packages/python.scm | 20 1 file changed, 20 insertions(+) diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm index 44704b2..170107a 100644 --- a/gnu/packages/python.scm +++ b/gnu/packages/python.sc