--- /dev/null
+<?php
+
+// the config file, this is as exciting as it gets really
+$repo_base = "/tmp/gwvp-repos/";
+$lib_base = "../gwvplib/";
+
+
+
+// nothing to configure from here
+$WEB_ROOT_FS = realpath(dirname(__FILE__));
+$BASE_URL = dirname($_SERVER["PHP_SELF"]);
+
+global $WEB_ROOT_FS, $BASE_URL;
+
+// add libglcas as if it were a path in ../libglcas
+if(file_exists($lib_base)) {
+ $path = realpath($WEB_ROOT_FS."/$lib_base");
+ error_log("addded $path as include");
+ set_include_path(get_include_path().PATH_SEPARATOR.$path);
+}
+
+?>
\ No newline at end of file