CAMP install process (script) does not work and/or never ends

[gibello]

Characteristics

• Issue Type: bug
• Reproducibility: always
• Severity: major
• Tool/Service/Component: CAMP
• Execution Environment: Linux Ubuntu 18.04
• Reporter: Pierre-Yves Gibello, pyg@ow2.org

Description

The CAMP install process, as described in https://stamp-project.github.io/camp/ ("Quick start"), does not run properly.

The shell command seems to be wrong: in https://stamp-project.github.io/camp/pages/setup.html , another (more complete) command is proposed, that works better... but never ends (a message "CAMP (master) ready." is displayed, and the "camp" command is available, but the install itself seems blocked).

Steps to reproduce

Run the command proposed in https://stamp-project.github.io/camp/:

curl -L https://github.com/STAMP-project/camp/raw/master/install.sh | sudo bash

The following output is displayed (and no "camp" command seems to be available afterward ?) - note I tried multiple times, so not sure the 1st error is exactly this one:

  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   136  100   136    0     0    295      0 --:--:-- --:--:-- --:--:--   295
100 11470  100 11470    0     0  13108      0 --:--:-- --:--:-- --:--:-- 13108
Aborting!
pip est /usr/local/bin/pip
DEPRECATION: Python 2.7 will reach the end of its life on January 1st, 2020. Please upgrade your Python as Python 2.7 won't be maintained after that date. A future version of pip will drop support for Python 2.7.
The directory '/home/gibello/.cache/pip/http' or its parent directory is not owned by the current user and the cache has been disabled. Please check the permissions and owner of that directory. If executing pip with sudo, you may want sudo's -H flag.
The directory '/home/gibello/.cache/pip' or its parent directory is not owned by the current user and caching wheels has been disabled. check the permissions and owner of that directory. If executing pip with sudo, you may want sudo's -H flag.
Collecting camp from git+https://github.com/STAMP-project/camp.git@master#egg=camp
  Cloning https://github.com/STAMP-project/camp.git (to revision master) to ./pip-install-zrl6Fe/camp
Collecting future==0.17.1 (from camp)
  Downloading https://files.pythonhosted.org/packages/90/52/e20466b85000a181e1e144fd8305caf2cf475e2f9674e797b222f8105f5f/future-0.17.1.tar.gz (829kB)
Collecting PyYAML==5.1 (from camp)
  Downloading https://files.pythonhosted.org/packages/9f/2c/9417b5c774792634834e730932745bc09a7d36754ca00acf1ccd1ac2594d/PyYAML-5.1.tar.gz (274kB)
Collecting jsonpath-rw==1.4.0 (from camp)
  Downloading https://files.pythonhosted.org/packages/71/7c/45001b1f19af8c4478489fbae4fc657b21c4c669d7a5a036a86882581d85/jsonpath-rw-1.4.0.tar.gz
Requirement already satisfied: argparse==1.2.1 in /usr/lib/python2.7 (from camp) (1.2.1)
Collecting defusedxml==0.6.0 (from camp)
  Downloading https://files.pythonhosted.org/packages/06/74/9b387472866358ebc08732de3da6dc48e44b0aacd2ddaa5cb85ab7e986a2/defusedxml-0.6.0-py2.py3-none-any.whl
Collecting ozepy@ git+https://github.com/STAMP-project/ozepy.git@v1.0.1#egg=ozepy from git+https://github.com/STAMP-project/ozepy.git@v1.0.1#egg=ozepy (from camp)
  Cloning https://github.com/STAMP-project/ozepy.git (to revision v1.0.1) to ./pip-install-zrl6Fe/ozepy
    Complete output from command python setup.py egg_info:
    Traceback (most recent call last):
      File "<string>", line 1, in <module>
      File "/tmp/pip-install-zrl6Fe/ozepy/setup.py", line 14, in <module>
        from ozepy import __VERSION__
      File "ozepy.py", line 12, in <module>
        from z3 import *
    ImportError: No module named z3
    
    ----------------------------------------
Command "python setup.py egg_info" failed with error code 1 in /tmp/pip-install-zrl6Fe/ozepy/
You are using pip version 19.0.3, however version 19.1.1 is available.
You should consider upgrading via the 'pip install --upgrade pip' command.

Run the command proposed in https://stamp-project.github.io/camp/pages/setup.html:

curl -L https://github.com/STAMP-project/camp/raw/master/install.sh \
  | sudo bash -s -- --install-z3 --z3-python-bindings /usr/lib/python2.7

The following output is displayed (looks fine), and the "camp" command is then available. But the install never ends (at least after about 1 hour - blocked forever ?)

  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   136  100   136    0     0    319      0 --:--:-- --:--:-- --:--:--   319
100 11470  100 11470    0     0  12989      0 --:--:-- --:--:-- --:--:-- 39013
Installing Z3 4.7.1 for (x64-debian-8.10) ...
Z3 4.7.1 ready.
Z3 Python bindings ready. (/usr/lib/python2.7)
CAMP (master) ready.