From: Ben Cornett (acornet at emory.edu) Date: Thu Apr 3 15:16:59 EST 2003 |
|
Matt, I had to toggle USE_COMPILED_STARTUP as you suggested. Then it worked great. Thanks! Ben Matthew Flatt <mflatt at cs.utah.edu> writes: > `make startup' will do this. See the top of "startup.ss" for slightly > more information. > > > That particular error is surprising to me, but maybe `make startup' > will fix it. > > It might be best to set USE_COMPILED_STARTUP in src/schmin.h to 0, > make, make startup, set USE_COMPILED_STARTUP back to 1, then make. > > Matthew
Posted on the users mailing list. |
|