mirror of
https://github.com/nasa/trick.git
synced 2024-12-21 14:07:51 +00:00
bff1967d4d
Added an --enable-java=(yes|no) and --disable-java options to the configure script. If java is disabled then the java GUIs are not compiled. |
||
---|---|---|
.. | ||
config.guess | ||
config.sub | ||
configure.ac | ||
install-sh | ||
missing |