/usr/bin/cmake -DCMAKE_BUILD_TYPE=Debug -G "CodeBlocks - Unix Makefiles" /home/gaw/repos/bac_2017/src
-- The C compiler identification is GNU 6.3.1
-- The CXX compiler identification is GNU 6.3.1
-- Check for working C compiler: /usr/bin/gcc
-- Check for working C compiler: /usr/bin/gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/g++
-- Check for working CXX compiler: /usr/bin/g++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Building for 32-bit.
-- Performing Test CXX11_FOUND
-- Performing Test CXX11_FOUND - Success
-- Forcing static build.
-- Enabling plugin stubborn_sets because plugin stubborn_sets_simple is enabled and depends on it.
-- Enabling plugin search_common because plugin eager_search is enabled and depends on it.
-- Enabling plugin relaxation_heuristic because plugin additive_heuristic is enabled and depends on it.
-- Enabling plugin domain_transition_graph because plugin context_enhanced_additive_heuristic is enabled and depends on it.
-- Enabling plugin extra_tasks because plugin cegar is enabled and depends on it.
-- Enabling plugin lp_solver because plugin landmarks is enabled and depends on it.
-- Using plugin: core_sources
-- Using plugin: options
-- Using plugin: utils
-- Using plugin: ordered_set
-- Using plugin: const_evaluator
-- Using plugin: g_evaluator
-- Using plugin: combining_evaluator
-- Using plugin: max_evaluator
-- Using plugin: pref_evaluator
-- Using plugin: weighted_evaluator
-- Using plugin: sum_evaluator
-- Using plugin: null_pruning_method
-- Using plugin: stubborn_sets
-- Using plugin: stubborn_sets_simple
-- Using plugin: stubbornsetsec
-- Using plugin: search_common
-- Using plugin: eager_search
-- Using plugin: enforced_hill_climbing_search
-- Using plugin: iterated_search
-- Using plugin: lazy_search
-- Using plugin: lp_solver
-- Using plugin: relaxation_heuristic
-- Using plugin: additive_heuristic
-- Using plugin: blind_search_heuristic
-- Using plugin: context_enhanced_additive_heuristic
-- Using plugin: cg_heuristic
-- Using plugin: domain_transition_graph
-- Using plugin: ff_heuristic
-- Using plugin: goal_count_heuristic
-- Using plugin: hm_heuristic
-- Using plugin: landmark_cut_heuristic
-- Using plugin: max_heuristic
-- Using plugin: core_tasks
-- Using plugin: extra_tasks
-- Using plugin: cegar
-- Using plugin: mas_heuristic
-- Using plugin: landmarks
-- Using plugin: operator_counting
-- Using plugin: pdbs
-- Using plugin: potentials
-- Could NOT find OSI (missing:  OSI_INCLUDE_DIRS OSI_LIBRARIES) 
USE_ISNAN_WORKAROUND: OFF
-- Configuring done
-- Generating done
-- Build files have been written to: /home/gaw/repos/bac_2017/src/cmake-build-debug
