Compiling smiele-graph package on Mac OS 10.6.8 with GCC 4.2.1

Mauricio Toro mauriciotorob at gmail.com
Mon Nov 26 17:32:53 CET 2012


Dear all,

I want to compute the strongly connected components of a graph.
I decided to use Smilie-graph. When I ran ozmake, I got C++ errors.
Any clues please?

mauriciotoro at salas755-25af30:~/Dropbox/NewModelChecker/ntccKMC$ ozmake
--freshen --package=smiele-graph.pkg
mkdir /var/tmp/tmp.0.xhmcck
mkdir /var/tmp/tmp.0.xhmcck/lib
ozc -c graph.oz -o graph.ozf
ozc -c graph.oz -o graph.ozf
ozc -c node-matrix.oz -o node-matrix.ozf
ozc -c node-array.oz -o node-array.ozf
oztool c++ -c -O3
-I/Users/mauriciotoro/.oz/1.4.0/platform/darwin-i386/include
-I/Users/mauriciotoro/.oz/1.4.0/include
-I/Applications/Mozart.app/Contents/Resources/platform/darwin-i386/include
-I/Applications/Mozart.app/Contents/Resources/include
/var/tmp/tmp.0.xhmcck/lib/native.cc -o /var/tmp/tmp.0.xhmcck/lib/native.o
In file included from /var/tmp/tmp.0.xhmcck/lib/native.cc:8:
/var/tmp/tmp.0.xhmcck/lib/graph.hh:88: error: using typedef-name
‘Graph::IncEdgesIt’ after ‘class’
/var/tmp/tmp.0.xhmcck/lib/graph.hh:66: error: ‘Graph::IncEdgesIt’ has a
previous declaration here
/var/tmp/tmp.0.xhmcck/lib/graph.hh:88: error: friend declaration does not
name a class or function
In file included from /var/tmp/tmp.0.xhmcck/lib/graph.hh:816,
                 from /var/tmp/tmp.0.xhmcck/lib/native.cc:8:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh: In member function ‘T&
Graph::NodeArray<T>::operator[](Graph::Node)’:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:78: error: ‘_contents’ was not
declared in this scope
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh: In member function ‘const T&
Graph::NodeArray<T>::operator[](Graph::Node) const’:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:81: error: ‘_contents’ was not
declared in this scope
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh: In member function ‘T&
Graph::DynNodeArray<T>::operator[](Graph::Node)’:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:105: error: there are no
arguments to ‘ensure_size’ that depend on a template parameter, so a
declaration of ‘ensure_size’ must be available
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:105: error: (if you use
‘-fpermissive’, G++ will accept your code, but allowing the use of an
undeclared name is deprecated)
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:105: error: ‘_contents’ was not
declared in this scope
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh: In member function ‘const T&
Graph::DynNodeArray<T>::operator[](Graph::Node) const’:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:108: error: there are no
arguments to ‘ensure_size’ that depend on a template parameter, so a
declaration of ‘ensure_size’ must be available
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:108: error: ‘_contents’ was not
declared in this scope
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh: In member function ‘T&
Graph::EdgeArray<T>::operator[](Graph::Edge)’:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:130: error: ‘_contents’ was not
declared in this scope
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh: In member function ‘const T&
Graph::EdgeArray<T>::operator[](Graph::Edge) const’:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:133: error: ‘_contents’ was not
declared in this scope
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh: In member function ‘T&
Graph::DynEdgeArray<T>::operator[](Graph::Edge)’:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:154: error: there are no
arguments to ‘ensure_size’ that depend on a template parameter, so a
declaration of ‘ensure_size’ must be available
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:154: error: ‘_contents’ was not
declared in this scope
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh: In member function ‘const T&
Graph::DynEdgeArray<T>::operator[](Graph::Edge) const’:
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:157: error: there are no
arguments to ‘ensure_size’ that depend on a template parameter, so a
declaration of ‘ensure_size’ must be available
/var/tmp/tmp.0.xhmcck/lib/graph-arrays.hh:157: error: ‘_contents’ was not
declared in this scope
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_free(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:52: warning: deprecated conversion from
string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_clone(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:66: warning: deprecated conversion from
string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_new_node(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:97: warning: deprecated conversion from
string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:109: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_new_edge(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:115: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:120: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:121: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:123: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:123: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:123: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:124: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:124: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:124: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:131: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_del_node(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:137: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:140: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:141: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:141: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:141: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:146: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hide_node(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:154: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:157: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:158: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:158: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:158: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:163: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_restore_node(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:171: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:174: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:175: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:175: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:175: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:180: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_del_edge(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:189: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:192: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:193: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:193: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:193: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:198: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hide_edge(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:206: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:209: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:210: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:210: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:210: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:215: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_restore_edge(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:223: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:226: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:228: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:228: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:228: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:231: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:235: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:241: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_get_node_label(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:250: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:251: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:252: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:252: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:252: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_get_edge_label(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:259: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:260: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:261: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:261: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:261: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_set_node_label(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:268: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:271: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:273: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:273: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:273: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:276: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_set_edge_label(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:283: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:286: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:288: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:288: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:288: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:291: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_is_visible_node(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:298: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:299: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:300: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:300: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:300: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_is_hidden_node(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:307: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:308: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:309: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:309: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:309: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_is_valid_node(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:316: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:317: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_is_visible_edge(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:324: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:325: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:326: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:326: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:326: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_is_hidden_edge(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:333: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:334: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:335: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:335: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:335: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_is_valid_edge(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:342: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:343: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_indeg(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:351: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:352: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:353: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:353: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:353: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_outdeg(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:360: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:361: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:362: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:362: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:362: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_degree(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:369: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:370: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:371: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:371: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:371: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_indeg(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:379: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:380: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:381: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:381: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:381: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_outdeg(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:388: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:389: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:390: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:390: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:390: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_degree(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:397: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:398: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:399: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:399: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:399: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_source(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:407: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:408: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:409: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:409: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:409: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_target(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:416: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:417: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:418: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:418: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:418: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_opposite(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:425: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:426: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:427: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:428: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:428: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:428: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:429: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:429: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:429: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_node_count(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:438: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_edge_count(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:444: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_node_count(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:450: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_edge_count(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:456: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_valid_node_count(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:462: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_valid_edge_count(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:468: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_in_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:476: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:477: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:478: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:478: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:478: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_out_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:489: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:490: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:491: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:491: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:491: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_inc_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:502: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:503: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:504: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:504: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:504: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_in_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:517: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:518: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:519: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:519: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:519: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_out_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:530: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:531: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:532: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:532: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:532: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_inc_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:543: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:544: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:545: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:545: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:545: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_nodes(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:558: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_nodes(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:568: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_valid_nodes(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:578: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:590: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_hidden_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:600: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_valid_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:610: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_array_new(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:631: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_array_free(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:639: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_array_clone(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:652: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_array_get(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:658: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:659: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_array_put(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:665: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:668: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:673: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_array_new(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:689: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_array_free(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:697: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_array_clone(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:710: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_array_get(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:716: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:717: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_array_put(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:723: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:726: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:731: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_matrix_new(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:746: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_matrix_free(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:754: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_matrix_clone(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:767: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_matrix_get(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:773: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:774: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:775: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
node_matrix_put(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:781: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:784: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:785: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:790: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_matrix_new(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:804: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_matrix_free(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:812: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_matrix_clone(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:825: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_matrix_get(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:831: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:832: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:833: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
edge_matrix_put(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:839: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:842: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:843: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc:848: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_wccs(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:903: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_bccs(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:919: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_beccs(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:937: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_sccs(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:955: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_isolated_nodes(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:973: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_isolated_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:988: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_topological_sort(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:1003: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_make_topologically_sorted(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:1020: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_redundant_edges(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:1035: warning: deprecated conversion
from string constant to ‘char*’
/var/tmp/tmp.0.xhmcck/lib/native.cc: In function ‘OZ_Return
graph_reachability(OZ_Term**)’:
/var/tmp/tmp.0.xhmcck/lib/native.cc:1052: warning: deprecated conversion
from string constant to ‘char*’
rm -R /var/tmp/tmp.0.xhmcck

%********************** ozmake [build] error ********************
%**
%** shell command failed
%**
%** Shell command:
 '/Applications/Mozart.app/Contents/Resources/bin/oztool' 'c++' '-c' '-O3'
'-I/Users/mauriciotoro/.oz/1.4.0/platform/darwin-i386/include'
'-I/Users/mauriciotoro/.oz/1.4.0/include'
'-I/Applications/Mozart.app/Contents/Resources/platform/darwin-i386/include'
'-I/Applications/Mozart.app/Contents/Resources/include'
'/var/tmp/tmp.0.xhmcck/lib/native.cc' '-o'
'/var/tmp/tmp.0.xhmcck/lib/native.o'
%**--------------------------------------------------------------
mauriciotoro at salas755-25af30:~/Dropbox/NewModelChecker/ntccKMC$


Thank you in advance,
Mauricio



-- 
Mauricio TORO BERMUDEZ,  Eng., PhD,  5th Kyu, AOWD
http://www.labri.fr/perso/mtoro/

Invited Researcher at the Computer Science Department
Pontificia Universidad Javeriana de Cali, Colombia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/attachments/20121126/80f0e45e/attachment-0001.html


More information about the mozart-users mailing list