2194

Ran 03 Sep 2018 06:23PM UTC

Jobs 3

Files 0

Run time –

Badge

Embed ▾

pending completion

Build # 2194

Build Type

push

travis-ci

Committed by

marcogario

Commit Message

Install solvers to a relevant site-package by default (#517)


- if user has virtual environment activated, simply install solvers in
  virtualenv's site packages
- otherwise (debian's pip logic):
  - if user is root, install to system site/dist packages
  - else if user has user site enabled, install solvers user-local
  - otherwise, try installing to system site packages and probably
    fail.

* Update help/docs/readme to reflect new bindings dir
* New bindings dir default in solver installers
* Add pip-like default package location heuristic helper
* Add debian-like solver install location heuristic
* Installer creates bindings/install dir recursively
* Use default bindings dir in Travis/Appveyor tests
* Fix example runner in tests (no ls, no subshell)
* Patch python path for examples in tests
* CI: Caching venv

Run Details

Jobs

ID	Job ID	Ran
2	2194.2 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	03 Sep 2018 06:23PM UTC	Travis Job 2194.2
14	2194.14 (PYSMT_SOLVER="all" PYSMT_GMPY="TRUE")	03 Sep 2018 06:36PM UTC	Travis Job 2194.14
15	2194.15 (PYSMT_SOLVER="all" PYSMT_GMPY="FALSE")	03 Sep 2018 06:37PM UTC	Travis Job 2194.15

Source Files on build 2194

Detailed source file information is not available for this build.

pysmt / pysmt / 2194

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2194

pysmt / pysmt / 2194

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2194

README BADGES
x