Building on Windows about corn

[wolvre]

Did you get this error when compiling on Windows?

coqc model\structures\QnonNeg -R . CoRN -R math-classes/src MathClasses
File "...\corn/model\structures\QnonNeg.v", line 56, characters 13-22:
Error: The reference Q.min_glb was not found in the current environment.
scons: *** [model\structures\QnonNeg.vo] Error 1
scons: building terminated because of errors.

[aa755]

Yes. look at aa755/corn@0eed30a
If you are building in windows, my commits might be useful for you.
I have fixed many but not all such errors.

[wolvre]

That solves the problem! Thanks a lot!
I actually got it compiled successfully on Windows 7.

On Mon, Nov 17, 2014 at 10:26 PM, Abhishek Anand [email protected]
wrote:

Yes. look at aa755@0eed30a
aa755/corn@0eed30a
If you are building in windows, my commits might be useful for you.
I have fixed many but not all such errors.

Reply to this email directly or view it on GitHub
#6 (comment).