Project

General

Profile

Support #613

Which ubuntu / debian packages are needed to compile CoCoA

Added by Christof Soeger almost 10 years ago. Updated over 1 year ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Portability
Target version:
CoCoALib-0.99850
Start date:
03 Sep 2014
Due date:
% Done:

100%

Estimated time:
2.77 h
Spent time:
2.70 h

Description

I it can be useful to collect which packages have to be installed to make it easy to compile CoCoALib, the interpreter and also the gui on debian linux based systems.

Here is what I think (still have to test it on a clean system) suffices, it bases on my experience on Ubuntu 14.04:
  • for just CoCoALib
    sudo apt-get install g++ libgmp-dev
  • for the interpreter (text interface) additionally:
    sudo apt-get install libboost-all-dev ### overkill, but works well
# The following piecemeal installation *might* work (or it might not)
sudo apt-get install libboost-dev libboost-thread-dev libboost-filesystem-dev libboost-system-dev
  • for the (out of date: see #1393) gui additionally to the previous both:
    sudo apt-get install qt4-qmake libqt4-dev libqt4-dev-bin

Related issues

Related to CoCoA-5 - Feature #270: Distribution for linuxClosed2012-10-18

Related to CoCoA-5 - Support #1393: GUI with Qt5Feedback2020-01-13

History

#1 Updated by John Abbott almost 10 years ago

  • Category set to Portability
  • Status changed from New to In Progress
  • % Done changed from 0 to 10

[found this on askubuntu]
You could use the output of dpkg -s <packagename> or dpkg-query -l <packagename>

in your script for the purpose.
Courtesy:http://stackoverflow.com/questions/1298066/check-if-a-package-is-installed-and-then-install-it-if-its-not

#!/bin/sh

for P; do
    dpkg -s "$P" >/dev/null 2>&1 && {
        echo "$P is installed." 
    } || {
        echo "$P is not installed." 
    }
done

#Usage: script.sh package1 package2 .... packageN

#2 Updated by John Abbott almost 10 years ago

  • Project changed from CoCoA to CoCoALib
  • Category changed from Portability to Portability

#3 Updated by John Abbott almost 10 years ago

  • Target version set to CoCoALib-1.0

#4 Updated by John Abbott almost 10 years ago

  • % Done changed from 10 to 20

I have just tried on a fresh Ubuntu 14.04 installation, and the libboost packages were apparently not enough (my script failed to find the corresponding header files). After several trials, I just gave up and installed libboost-all-dev, and that was sufficient; in any case it seems wiser to have a complete BOOST installation rather than an incomplete patchwork.

I did still have to intervene manually -- thinking about how to automate things.

NOTE info on the internet suggests that Christof's suggestion should be correct, but it did not work -- puzzled. I'll stick with the "overkill" solution (in my Ubuntu script) that expects the whole of BOOST.

#5 Updated by Christof Soeger almost 10 years ago

I just tested it with a fresh live usbdrive system and it works with exactly the packages I listed with the cvs version.
I think the latest tar ball will not work because I had issues with it earlier.

#6 Updated by John Abbott over 4 years ago

  • Target version changed from CoCoALib-1.0 to CoCoALib-0.99700
  • % Done changed from 20 to 40

We should check the situation, and add appropriate advice in the release notes!

#7 Updated by John Abbott over 4 years ago

  • Target version changed from CoCoALib-0.99700 to CoCoALib-0.99800

This info is useful for people who want to download the source and compile; it is not necessary for the imminent release.
So postponing.

#8 Updated by John Abbott over 3 years ago

  • Description updated (diff)
  • % Done changed from 40 to 60

#9 Updated by John Abbott over 3 years ago

  • Description updated (diff)

#10 Updated by John Abbott over 3 years ago

  • Description updated (diff)

#11 Updated by John Abbott over 3 years ago

#12 Updated by John Abbott over 2 years ago

  • Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850

This should be updated after I have updated my Linux box (still on Ubuntu 18.04).

#13 Updated by John Abbott over 1 year ago

  • Status changed from In Progress to Resolved
  • Assignee set to John Abbott
  • % Done changed from 60 to 80

2022-10-05 Here is what I think is now needed (on Ubuntu 22.04)

libgmp-dev
g++
libboost-filesystem-dev  libboost-system-dev [[if you want to compile CoCoA-5]]
qt5-qmake   libqt5webkit5-dev   [[if you want to compile CoCoA-5 GUI]]

NOTE 2022-11-30: I have added libboost-system-dev as some older versions of BOOST need system as well; BOOST 1.74 & later need only filesystem

#14 Updated by John Abbott over 1 year ago

  • Status changed from Resolved to Feedback
  • % Done changed from 80 to 90

Check that the notes in this issue are aligned with those in the documentation.
Then close this issue -- OK?

#15 Updated by John Abbott over 1 year ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100
  • Estimated time set to 2.77 h

I have revised the file doc/txt/INSTALL.txt to include the info here (and quite a bit more).

Closing!

Also available in: Atom PDF