Added configure options

WARNING: work in progress

diff --git a/org.glite.wms-utils.jobid/project/configure-options.xml b/org.glite.wms-utils.jobid/project/configure-options.xml
new file mode 100644 (file)
index 0000000..f135319
--- /dev/null
+++ b/org.glite.wms-utils.jobid/project/configure-options.xml
@@ -0,0 +1,9 @@
+       <!-- ======================================================
+                 Define extra properties here ...
+                 ====================================================== -->
+        
+       <project name="configure options">                                                                        
+        <property name="configure.args"
+               value="--with-globus-prefix=${with.globus.prefix} --with-globus-thr-flavor=${with.globus.thr.flavor} --with-globus-nothr-flavor=${with.globus.nothr.flavor}"/>
+
+       </project>