+libppl for ubuntu

07fa7158 · David Rosenblueth · beb0db6f · 07fa7158
Commit 07fa7158 authored Mar 11, 2016 by David Rosenblueth
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

install-ubuntu.sh install-ubuntu.sh +1 -1

No files found.
--- a/install-ubuntu.sh
+++ b/install-ubuntu.sh
 #!/bin/sh
 set -e
-sudo apt-get install libgsl0-dev gnuplot graphviz-dev # swi-prolog libsbml5-dev
+sudo apt-get install libgsl0-dev gnuplot graphviz-dev libppl-dev # swi-prolog libsbml5-dev

 if ! swipl -g '
  call_cleanup(