]> git.tue.mpg.de Git - paraslash.git/commit
build: Improve lopsub error diagnostics.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 8 Jul 2017 16:43:00 +0000 (18:43 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 14 Jul 2017 13:37:05 +0000 (15:37 +0200)
commite4f13789f90c22606dd74b016a71403f3785b884
treed8dad008b63caf909cddb41d5987ec97e2b54367
parent0d711036d936076f05e2c93a9076cc441f3eb9f9
build: Improve lopsub error diagnostics.

The configure script checks for the lopsubgen executable, the lopsub.h
header file and the liblopsub.a library. If the executable is not
found, we print a short error while a long error message with download
instructions is shown if the header file or the library is missing.

In the common failure case none of the three files is installed,
in which case we print the short message because the check for the
executable comes first. This is unfortunate.

This commit moves the check for the executable to the lopsub section
of configure.ac and prints the long error message if any of the three
files is missing.
configure.ac