jedit-javascriptshell/build.xml at master · zigmasKr/jedit-javascriptshell · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
<?xml version="1.0"?>
<project name="JavaScriptShell" default="build" basedir=".">

	 <description>
		Builds the JavaScriptShell plugin using the required build-support plugin-build.xml
	 </description>

	 <!-- <echo message="${os.name}" /> -->
	<condition property="os.nickname" value="win">
		<os family="windows" />
	</condition>
	<condition property="os.nickname" value="lin">
		<os family="unix" />
	</condition>
	<condition property="os.nickname" value="mac">
		<os family="mac" />
	</condition>
	<!-- <echo message="os nickname is ${os.nickname}"/> -->

	<property file="build-${os.nickname}.properties" />

	<!--
	<property file="build.properties" />
	<property file="../build.properties" />
	-->

	<property name="javadoc.packagenames"	value="javascriptshell.*" />
	<property name="compiler.source"		value="1.8" />
	<property name="compiler.target" 		value="1.8" />

	<property name="docs-proc.target"       value="none" />

	<property name="build.support" value="build-support" />
	<import file="${build.support}/plugin-build.xml" />

	<property name="jedit.plugins.dir" value="${jedit.install.dir}/jars"/>
	<property name="jedit.user.plugins.dir" value="${jedit.user.home}/jars"/>

	 <!-- Extra files that get put into the jar file, above and beyond
			the default set (which always includes actions,dockables,services.xml,
			*.props, etc -->

	 <selector id="packageFiles">
	  <or>
		<filename name="javascriptshell/js/*.*" />
		<filename name="docs/*.html" />
	  </or>
	 </selector>

	<path id="project.class.path">
		<pathelement location="${jedit.plugins.dir}/Console.jar"/>
	</path>

</project>