Add the option --with-vmkit-package to use Debian packages instead of the llvm+vmkit...
authorSylvestre Ledru <sylvestre.ledru@scilab-enterprises.com>
Tue, 6 Aug 2013 11:41:04 +0000 (13:41 +0200)
committerSylvestre Ledru <sylvestre.ledru@scilab-enterprises.com>
Tue, 6 Aug 2013 11:41:04 +0000 (13:41 +0200)
commit3e496f0d6c85e0f6a913a45e920e29ab0575961c
treee771027b53a30725872710c79b34280592008dd5
parent5e59f21373eefe73d5be612a7cb07c7c97162337
Add the option --with-vmkit-package to use Debian packages instead of the llvm+vmkit sources
+ autoreconf

Change-Id: Idb11db3bfaf14ded7849d6d9699d7bff33c7d72e
scilab/Makefile.in
scilab/configure
scilab/m4/vmkit.m4
scilab/modules/core/Makefile.in
scilab/modules/external_objects_java/Makefile.in
scilab/modules/javasci/Makefile.in
scilab/modules/mpi/Makefile.in