[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: branching updates

From: John Darrington
Subject: Re: branching updates
Date: Fri, 10 Oct 2008 19:43:23 +0800
User-agent: Mutt/1.5.18 (2008-05-17)

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.

PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See or any PGP keyserver for public key.

Attachment: signature.asc
Description: Digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]