A set of benchmarks to compare a new prototype MiniZinc implementation
1#!/bin/sh 2export CCACHE_CPP2=true 3exec "${RULE_LAUNCH_COMPILE}" "${CMAKE_CXX_COMPILER}" "$@"