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