solve new dependencies of libSTEER (libProofPlayer); temporary fix for circular depen...
authorrichterm <richterm@f7af4fe6-9843-0410-8265-dc069ae4e863>
Sun, 28 Oct 2007 05:30:06 +0000 (05:30 +0000)
committerrichterm <richterm@f7af4fe6-9843-0410-8265-dc069ae4e863>
Sun, 28 Oct 2007 05:30:06 +0000 (05:30 +0000)
commitfbf4d7933c11c1c2d629156589a78b1031efb06f
tree33cacd6f46e6f00afc75c4347d503d79e507934c
parentfe0beaf56a881ee1b62823d1b1bd980eb1e68960
solve new dependencies of libSTEER (libProofPlayer); temporary fix for circular dependency; sequence of checks corrected to allow better error messages
HLT/configure.ac