@@ -282,7 +282,7 @@ Copyright (c) 2005, 2015, Oracle and/or its affiliates. All rights reserved.
282282 </target >
283283
284284 <property name =" coverage.dir" value =" ${ basedir } /coverage" />
285- <target name =" -pre-compile" depends =" jrcs,jflex,download-lucene" />
285+ <target name =" -pre-compile" depends =" jrcs,jflex,download-lucene,download-servlet-api " />
286286 <target name =" eclipse" depends =" -pre-compile"
287287 description =" satisfy eclipse dependencies" />
288288 <target name =" -post-clean" >
@@ -390,11 +390,32 @@ Copyright (c) 2005, 2015, Oracle and/or its affiliates. All rights reserved.
390390 dest =" lib/${ lucene-suggest.jar } " verbose =" true" usetimestamp =" true" />
391391 </target >
392392
393+ <target name =" -check-servlet-api" description =" Check that servlet-api jar file is present" >
394+ <available file =" ${ servlet-api.jar } " type =" file" property =" servlet-api.jar.present" >
395+ <filepath refid =" plainlib.search.path" />
396+ </available >
397+ <condition property =" servlet-api_not_downloaded" >
398+ <not >
399+ <isset property =" servlet-api.jar.present" />
400+ </not >
401+ </condition >
402+ </target >
403+
404+ <target name =" download-servlet-api" depends =" -check-servlet-api" if =" servlet-api_not_downloaded" >
405+ <delete >
406+ <fileset dir =" lib" >
407+ <include name =" servlet-api-*.jar" />
408+ </fileset >
409+ </delete >
410+ <get src =" ${ mvn.repository } /javax/servlet/servlet-api/${ servlet-api.version } /${ servlet-api.jar } "
411+ dest =" lib/${ servlet-api.jar } " verbose =" true" usetimestamp =" true" />
412+ </target >
413+
393414 <target name =" -post-jar" depends =" -copy-lib-without-netbeans" >
394415 <war destfile =" ${ dist.war } " webxml =" web/WEB-INF/web.xml" >
395416 <fileset dir =" web" excludes =" META-INF/context.xml" />
396417 <lib dir =" ${ dist.dir } " includes =" opengrok.jar" />
397- <lib dir =" ${ dist.dir } /lib" includes =" *.jar" excludes =" servlet-api.jar" />
418+ <lib dir =" ${ dist.dir } /lib" includes =" *.jar" excludes =" ${ servlet-api.jar } " />
398419 </war >
399420 <echo message =" Generating man page.." />
400421 <java classname =" org.opensolaris.opengrok.index.CommandLineOptions"
@@ -439,7 +460,7 @@ Copyright (c) 2005, 2015, Oracle and/or its affiliates. All rights reserved.
439460 <include name =" opengrok.jar" />
440461 <include name =" source.war" />
441462 <include name =" lib/*" />
442- <exclude name =" lib/servlet-api.jar" />
463+ <exclude name =" lib/${ servlet-api.jar } " />
443464 </tarfileset >
444465 <tarfileset dir =" ${ dist.dir } " prefix =" ${ distname } -${ version } /man/man1" >
445466 <include name =" opengrok.1" />
0 commit comments