trick/autoconf
Alex Lin 1f5be950e4 Unable to configure Trick with Java 9 #486
Changed the java version extractor to look for an optional decimal and
number past the decimal.  Now it can properly find "9" as the version number.
2017-10-10 09:18:51 -05:00
..
config.guess Use configure to determine pthread variables in makefile 2015-06-26 09:35:49 -05:00
config.sub Use configure to determine pthread variables in makefile 2015-06-26 09:35:49 -05:00
configure.ac Unable to configure Trick with Java 9 #486 2017-10-10 09:18:51 -05:00
install-sh Use configure to determine pthread variables in makefile 2015-06-26 09:35:49 -05:00
missing Use configure to determine pthread variables in makefile 2015-06-26 09:35:49 -05:00