data/gecode_version.cc
author Sylvain Thénault <sylvain.thenault@logilab.fr>
Tue, 08 Sep 2009 16:33:37 +0200
changeset 457 734a8a5abf98
permissions -rw-r--r--
fix gecode version detection

#include "gecode/support.hh"
#include <stdio.h>

int main() {
#ifndef GECODE_VERSION
    printf("2.1.2\n");
#else
    printf("%s\n", GECODE_VERSION);
#endif
}