projects
/
mir.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
honour user CLASSPATH environment variable
[mir.git]
/
build.xml
diff --git
a/build.xml
b/build.xml
index
54c9628
..
e341018
100755
(executable)
--- a/
build.xml
+++ b/
build.xml
@@
-43,6
+43,7
@@
<property environment="env"/>
<property name="tomcat.home" value="${env.TOMCAT_HOME}"/>
<property environment="env"/>
<property name="tomcat.home" value="${env.TOMCAT_HOME}"/>
+ <property name="user.classpath" value="${env.CLASSPATH}"/>
<!--
<property name="compile.optimize" value="off" />
<!--
<property name="compile.optimize" value="off" />
@@
-100,7
+101,13
@@
<!-- Construct the classpath -->
<path id="project.classpath">
<!-- Construct the classpath -->
<path id="project.classpath">
- <fileset dir="lib">
+
+ <!-- for libs installed by user or OS distribuitor -->
+ <fileset dir="${user.classpath}">
+ <include name="*.jar" />
+ </fileset>
+
+ <fileset dir="lib">
<include name="*.jar"/>
</fileset>
<fileset dir="etc/extralib">
<include name="*.jar"/>
</fileset>
<fileset dir="etc/extralib">