/**
 * This is a helper script to identify the proper include path
 * for Pike header files. It should be run with the full path
 * to the Pike executable as its single argument, e.g.
 *
 *     pike check-include-path.pike /usr/local/bin/pike
 *
 * and its output should be the correct path to the header
 * files, e.g.
 *
 *     /usr/local/pike/7.2.239/include/pike
 *
 */

int main(int argc, array(string) argv)
{
    string prefix = replace(argv[1], "/bin/pike", "");
    write(prefix + "/pike/" + __MAJOR__ + "." + __MINOR__ + "." + __BUILD__ + "/include/pike");
    return 0;
}