Install AMPL on linux buildslaves

ampl · Aug 31, 2016 · d7c9de1 · d7c9de1
1 parent 765548e
commit d7c9de1
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/support/bootstrap/bootstrap-linux.py b/support/bootstrap/bootstrap-linux.py
@@ -30,6 +30,12 @@
 
   check_call(['cp', '-r', '/support/bootstrap/cache', '/var/'])
 
+  # Install AMPL.
+  if x86_64:
+    install_ampl('amplide.linux64.tgz')
+  else:
+    install_ampl('amplide.linux32.tgz')
+
   # Install build tools.
   if not installed('cmake'):
     # Install python-software-properties or software-properties-common for apt-add-repository.

diff --git a/support/bootstrap/bootstrap.py b/support/bootstrap/bootstrap.py
@@ -110,6 +110,19 @@ def install_maven(**kwargs):
       archive.extractall(install_dir)
   add_to_path(os.path.join(install_dir, dir, 'bin', 'mvn'))
 
+# Downloads and installs AMPL.
+def install_ampl(filename, **kwargs):
+  if installed('ampl'):
+    return
+  dir = filename.replace('.tgz', '')
+  url = 'http://ampl.com/demo/' + filename
+  install_dir = kwargs.get('install_dir', opt_dir)
+  with Downloader(kwargs.get('download_dir', '.')).download(url) as f:
+    with closing(tarfile.open(f, 'r:gz')) as archive:
+      archive.extractall(install_dir)
+  add_to_path(os.path.join(install_dir, dir, 'ampl'))
+  add_to_path(os.path.join(install_dir, dir, 'ampl.lic'))
+
 # Install f90cache.
 def install_f90cache():
   if not installed('f90cache'):