Skip to content

Instantly share code, notes, and snippets.

@felixyz
Last active August 29, 2015 14:11
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save felixyz/fd8e4bea74e162fe99cc to your computer and use it in GitHub Desktop.
Save felixyz/fd8e4bea74e162fe99cc to your computer and use it in GitHub Desktop.
Flora-2 failures on OSX
$ ./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