diff build_packages.m @ 4665:6592c495d120

of-optiminterp: add new package * src/of-optiminterp.mk: add new mk file * Makefile.in: add optiminterp to package list * build_packages.m: add optiminterp to install script * dist-files.mk: add ref to of-optiminterp.mk * index.html: add of-optiminterp entry
author John Donoghue
date Tue, 17 Apr 2018 13:22:06 -0400
parents d09fabbfdc17
children be8accde5788
line wrap: on
line diff
--- a/build_packages.m	Tue Apr 17 13:22:05 2018 -0400
+++ b/build_packages.m	Tue Apr 17 13:22:06 2018 -0400
@@ -72,6 +72,7 @@
   try_install video-1.2.4.tar.gz
   try_install zeromq-1.3.0.tar.gz
   try_install gsl-2.1.0.tar.gz
+  try_install optiminterp-0.3.5.tar.gz
 
 unwind_protect_cleanup
   echo_executing_commands (orig_echo);