+ dirname /input/Singularity + REPO_ROOT=/input + cp -r /input/ /usr/local/var/singularity/mnt/container/planner + apt-get update + apt-get -y install cmake g++ gcc make bison flex zlib1g-dev python coreutils default-jre default-jdk ant unzip debconf: delaying package configuration, since apt-utils is not installed + cd /planner + make /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: In function 'const char* ipasir_signature()': /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:20:51: warning: no return statement in function returning non-void [-Wreturn-type] const char * ipasir_signature () {linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: In function 'void* ipasir_init()': /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:21:40: warning: no return statement in function returning non-void [-Wreturn-type] void * ipasir_init () {linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: At global scope: /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:22:30: warning: unused parameter 'solver' [-Wunused-parameter] void ipasir_release (void * solver){linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:23:26: warning: unused parameter 'solver' [-Wunused-parameter] void ipasir_add (void * solver, int lit_or_zero){linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:23:38: warning: unused parameter 'lit_or_zero' [-Wunused-parameter] void ipasir_add (void * solver, int lit_or_zero){linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:24:29: warning: unused parameter 'solver' [-Wunused-parameter] void ipasir_assume (void * solver, int lit){linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:24:41: warning: unused parameter 'lit' [-Wunused-parameter] void ipasir_assume (void * solver, int lit){linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: In function 'int ipasir_solve(void*)': /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:25:50: warning: no return statement in function returning non-void [-Wreturn-type] int ipasir_solve (void * solver){linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: At global scope: /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:25:27: warning: unused parameter 'solver' [-Wunused-parameter] int ipasir_solve (void * solver){linkingError();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: In function 'int ipasir_val(void*, int)': /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:26:59: warning: no return statement in function returning non-void [-Wreturn-type] int ipasir_val (void * solver, int lit){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: At global scope: /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:26:25: warning: unused parameter 'solver' [-Wunused-parameter] int ipasir_val (void * solver, int lit){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:26:37: warning: unused parameter 'lit' [-Wunused-parameter] int ipasir_val (void * solver, int lit){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: In function 'int ipasir_failed(void*, int)': /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:27:62: warning: no return statement in function returning non-void [-Wreturn-type] int ipasir_failed (void * solver, int lit){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp: At global scope: /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:27:28: warning: unused parameter 'solver' [-Wunused-parameter] int ipasir_failed (void * solver, int lit){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:27:40: warning: unused parameter 'lit' [-Wunused-parameter] int ipasir_failed (void * solver, int lit){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:28:36: warning: unused parameter 'solver' [-Wunused-parameter] void ipasir_set_terminate (void * solver, void * state, int (*terminate)(void * state)){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:28:51: warning: unused parameter 'state' [-Wunused-parameter] void ipasir_set_terminate (void * solver, void * state, int (*terminate)(void * state)){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:28:87: warning: unused parameter 'terminate' [-Wunused-parameter] void ipasir_set_terminate (void * solver, void * state, int (*terminate)(void * state)){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:29:32: warning: unused parameter 'solver' [-Wunused-parameter] void ipasir_set_learn (void * solver, void * state, int max_length, void (*learn)(void * state, int * clause)){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:29:47: warning: unused parameter 'state' [-Wunused-parameter] void ipasir_set_learn (void * solver, void * state, int max_length, void (*learn)(void * state, int * clause)){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:29:58: warning: unused parameter 'max_length' [-Wunused-parameter] void ipasir_set_learn (void * solver, void * state, int max_length, void (*learn)(void * state, int * clause)){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:29:110: warning: unused parameter 'learn' [-Wunused-parameter] void ipasir_set_learn (void * solver, void * state, int max_length, void (*learn)(void * state, int * clause)){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:30:36: warning: unused parameter 'solver' [-Wunused-parameter] void ipasir_add_as_learned(void * solver, int lit_or_zero){notImplemented();} ^ /planner/incplan/src/libs/ipasir/ipasir_dummy_impl.cpp:30:48: warning: unused parameter 'lit_or_zero' [-Wunused-parameter] void ipasir_add_as_learned(void * solver, int lit_or_zero){notImplemented();} ^