comparison dist-files.mk @ 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 bb748339b351
comparison
equal deleted inserted replaced
4664:d09fabbfdc17 4665:6592c495d120
505 of-odepkg-1-fixes.patch \ 505 of-odepkg-1-fixes.patch \
506 of-odepkg-2-fixes.patch \ 506 of-odepkg-2-fixes.patch \
507 of-odepkg.mk \ 507 of-odepkg.mk \
508 of-optim-1-fixes.patch \ 508 of-optim-1-fixes.patch \
509 of-optim.mk \ 509 of-optim.mk \
510 of-optiminterp.mk \
510 of-quaternion-1-cross-fixes.patch \ 511 of-quaternion-1-cross-fixes.patch \
511 of-quaternion.mk \ 512 of-quaternion.mk \
512 of-queueing.mk \ 513 of-queueing.mk \
513 of-signal-1-fixes.patch \ 514 of-signal-1-fixes.patch \
514 of-signal.mk \ 515 of-signal.mk \