Share

MOPS:MOdelchecking Programs for Security

Tracker: Bugs

3 MOPS does not compile on cygwin: _brk - ID: 1045064
Last Update: Attachment added ( hardcorebit )

When attempting to compile on cygwin, we encounter an
error in /rc/callcc1.c:73 -- undefined reference to
_brk . Output of make is attached. This causes the
compile to fail. Cause is likely, but not yet verified,
that cygwin does not support the _brk call and some
workaround needs to be found.

gcc 3.3.3 (cygwin special)


David Molnar ( hardcorebit ) - 2004-10-12 05:39

3

Open

None

David Molnar

porting

None

Public


Comments




Log in to comment.

No follow-up comments have been posted.

Attached File ( 1 )

Filename Description Download
cygwin-compile-error.txt Output of make on cygwin Download

Change ( 1 )

Field Old Value Date By
File Added 104784: cygwin-compile-error.txt 2004-10-12 05:39 hardcorebit