diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-05-06 15:24:28 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-08 17:40:14 +0100 |
| commit | 221f2884fdacf31d60745e58fffffef75844f6b5 (patch) | |
| tree | b12144f256c552baf2279e2d99e5adfa9fddd2c5 /reproduce/software/shell/bashrc.sh | |
| parent | b1e1522a5a5b6d0800ea207f2d93a4f36bffa68d (diff) | |
Installing Scamp with the option --enable-plplot=no
Until this commit, Scamp was installed with the option
`--enable-plplot=yes' (the default). However, Maneage does not have PLplot
included. As it is possible to install Scamp without PLplot (in that case
it won't generate plots), with this commit this option has been set to
`no'. As a consequence, Scamp will be installed even if the host system
does not have PLplot without crashing (but it won't make any plot).
Diffstat (limited to 'reproduce/software/shell/bashrc.sh')
0 files changed, 0 insertions, 0 deletions