On Fri, Oct 10, 2008 at 04:06:39PM +0800, john wrote:
On Thu, Oct 09, 2008 at 11:08:56PM -0700, Ben Pfaff wrote:
After that, I merged the changes from stable into master and
updated master.
Unfortunately, master doesn't build now:
../src/language/tests/check-model.q:24:27: error:
model-checker.h: No such file or directory
John, you moved some model-checker files around, is this related?
A clean "git clone" followed by make -f Smake ; ./configure ; make
check worked fine for me.
Can you double check your end.
J'
--
PGP Public key ID: 1024D/2DE827B3
fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3
See http://pgp.mit.edu or any PGP keyserver for public key.
signature.asc
Description: Digital signature
_______________________________________________ pspp-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/pspp-dev
