Re: [pure-lang-users] Proposed syntax changes

[Albert G. <Dr....@t-...>]

Ryan Schmidt wrote:
>> DYLD_LIBRARY_PATH=. PURELIB=lib ./pure -n -v7 lib/prelude.pure | diff
>> test/prelude.log -; echo $?
>>
>> (That should print just the exit code '0' if everything is all right.)
> 
> It does print 0.

Then everything should be all right and make check should work ok, too 
(all make check does is in fact checking the return code of that diff 
command).

I'm beginning to suspect that ./pure might pick up an old installed 
libpure.dylib from somewhere. Can you please run 'sudo make uninstall', 
verify that all libpure's have been exorcised from your system and recheck?

> Perhaps this output is helpful:
> 
> $ DYLD_LIBRARY_PATH=. PURELIB=./lib ./pure -v7 ./lib/prelude.pure  
> 2>&1 | diff -u - ./test/prelude.log

That won't work. You need to pass -n before -v7 there.

> The first part ("-n" being  
> printed out) has been fixed, the second (the result going to the  
> second line) has not.

Hmm, I'll probably have to append that \c thingy, too. Will see what I 
can do.

> Something else: I'm noticing that I cannot cancel the "make check" by  
> pressing ^C. It just causes the currently-running test to fail, and  
> proceeds with the next test.

Right. But you can kill the make process.

Albert

-- 
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email:  Dr....@t-..., ag...@mu...
WWW:    http://www.musikinformatik.uni-mainz.de/ag