Add the option --with-vmkit-package to use Debian packages instead of the llvm+vmkit...
-rw-r--r-- .gitignore
drwxr-xr-x SEP
drwxr-xr-x git_hooks
drwxr-xr-x scilab