3 // the config file, this is as exciting as it gets really
4 $repo_base = "/tmp/gwvp-repos/";
5 $lib_base = "../gwvplib/";
9 // nothing to configure from here
10 $WEB_ROOT_FS = realpath(dirname(__FILE__));
11 $BASE_URL = dirname($_SERVER["PHP_SELF"]);
13 global $WEB_ROOT_FS, $BASE_URL;
15 // add libglcas as if it were a path in ../libglcas
16 if(file_exists($lib_base)) {
17 $path = realpath($WEB_ROOT_FS."/$lib_base");
18 error_log("addded $path as include");
19 set_include_path(get_include_path().PATH_SEPARATOR.$path);