Last active
August 29, 2015 14:11
-
-
Save felixyz/fd8e4bea74e162fe99cc to your computer and use it in GitHub Desktop.
Flora-2 failures on OSX
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ ./flora2/runflora | |
% Specialising partially instantiated calls to flora_assert_directories/1 | |
[Compiling Foreign Module /Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/prolog2hilog (Prolog compiler options are ignored)] | |
[prolog2hilog compiled, cpu time used: 0.0010 seconds] | |
[Compiling C file /Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/prolog2hilog.c using gcc] | |
/Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/prolog2hilog.c:365:9: warning: comparison of 0 > unsigned expression is always false [-Wtautological-compare] | |
if (0 > length_diff) return FALSE; | |
~ ^ ~~~~~~~~~~~ | |
1 warning generated. | |
gcc -dynamiclib -undefined dynamic_lookup -fPIC -o /Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/prolog2hilog.dylib /Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/prolog2hilog.c -Wall -fPIC -I/Users/felix/Documents/code/flora2/flora2bundle/XSB/emu -I/Users/felix/Documents/code/flora2/flora2bundle/XSB/config/i386-apple-darwin13.2.0 -O3 -fno-strict-aliasing -fPIC -Wall -pipe -lm | |
[Compiling Foreign Module /Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/flora_ground (Prolog compiler options are ignored)] | |
[flora_ground compiled, cpu time used: 0.0010 seconds] | |
[Compiling C file /Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/flora_ground.c using gcc] | |
/Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/flora_ground.c:115:15: warning: comparison of unsigned expression < 0 is always false [-Wtautological-compare] | |
if (difflen < 0) return FALSE; | |
~~~~~~~ ^ ~ | |
1 warning generated. | |
gcc -dynamiclib -undefined dynamic_lookup -fPIC -o /Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/flora_ground.dylib /Users/felix/Documents/code/flora2/flora2bundle/flora2/cc/flora_ground.c -Wall -fPIC -I/Users/felix/Documents/code/flora2/flora2bundle/XSB/emu -I/Users/felix/Documents/code/flora2/flora2bundle/XSB/config/i386-apple-darwin13.2.0 -O3 -fno-strict-aliasing -fPIC -Wall -pipe -lm | |
FLORA-2 Version 1.0 (Cherimoya) of 2014-07-02 03:25:03 (rev: 1203) | |
XSB Version 3.5.0 (Maotai) of 2013-7-6 (darwin13.2.0, 64 bits) | |
Welcome! Type \help. to display the help message. | |
flora2 ?- \help. | |
++Error[Flora-2]> attempt to call an undefined Prolog predicate _$_$_flora'silent_equal/2 in module `usermod' | |
flora2 ?- \help. | |
++Error[Flora-2]> attempt to call an undefined Prolog predicate _$_$_flora'silent_equal/2 in module `usermod' | |
flora2 ?- \halt. | |
++Error[Flora-2]> attempt to call an undefined Prolog predicate _$_$_flora'silent_equal/2 in module `usermod' | |
flora2 ?- \end. | |
++Error[Flora-2]> attempt to call an undefined Prolog predicate _$_$_flora'silent_equal/2 in module `usermod' |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment