1
-
2
- <project name =" DFA-Inductor" default =" all" >
3
- <property name =" src.dir" value =" src" />
4
- <property name =" bin.dir" value =" bin" />
5
- <property name =" jars.dir" value =" jars" />
6
- <property name =" lib.dir" value =" lib" />
7
-
8
- <property name =" main.main" value =" Main" />
9
- <property name =" main.jar" value =" main.jar" />
10
-
11
- <property name =" dicGen.main" value =" DictionaryGeneratorMain" />
12
- <property name =" dicGen.jar" value =" dicGen.jar" />
13
-
14
- <property name =" validator.main" value =" Validator" />
15
- <property name =" validator.jar" value =" validator.jar" />
16
-
17
- <property name =" args4j.path" value =" ${ lib.dir } /args4j.jar" />
18
- <property name =" sat4j.path" value =" ${ lib.dir } /sat4j-sat.jar" />
19
-
20
- <target name =" all"
21
- depends =" main-jar,
22
- dicGen-jar,
23
- validator-jar" >
24
- </target >
25
-
26
- <target name =" main-jar" >
27
- <mkdir dir =" ${ bin.dir } " />
28
- <mkdir dir =" ${ jars.dir } " />
29
-
30
- <javac srcdir =" ${ src.dir } "
31
- destdir =" ${ bin.dir } "
32
- classpath =" ${ sat4j.path } :${ args4j.path } "
33
- includeantruntime =" false"
34
- debug =" true"
35
- debuglevel =" lines,vars,source" >
36
- <include name =" ${ main.main } .java" />
37
- </javac >
38
-
39
- <jar destfile =" ${ jars.dir } /${ main.jar } "
40
- basedir =" ${ bin.dir } " >
41
- <manifest >
42
- <attribute name =" Main-Class" value =" ${ main.main } " />
43
- </manifest >
44
-
45
- <zipfileset src =" ${ sat4j.path } " excludes =" META-INF/*.SF" />
46
- <zipfileset src =" ${ args4j.path } " excludes =" META-INF/*.SF" />
47
- </jar >
48
-
49
- </target >
50
-
51
- <target name =" dicGen-jar" >
52
- <mkdir dir =" ${ bin.dir } " />
53
- <mkdir dir =" ${ jars.dir } " />
54
-
55
- <javac srcdir =" ${ src.dir } "
56
- destdir =" ${ bin.dir } "
57
- classpath =" ${ args4j.path } "
58
- includeantruntime =" false"
59
- debug =" true"
60
- debuglevel =" lines,vars,source" >
61
- <include name =" ${ dicGen.main } .java" />
62
- </javac >
63
-
64
- <jar destfile =" ${ jars.dir } /${ dicGen.jar } "
65
- basedir =" ${ bin.dir } " >
66
- <manifest >
67
- <attribute name =" Main-Class" value =" ${ dicGen.main } " />
68
- </manifest >
69
-
70
- <zipfileset src =" ${ args4j.path } " excludes =" META-INF/*.SF" />
71
- </jar >
72
- </target >
73
-
74
- <target name =" validator-jar" >
75
- <mkdir dir =" ${ bin.dir } " />
76
- <mkdir dir =" ${ jars.dir } " />
77
- <javac srcdir =" ${ src.dir } "
78
- destdir =" ${ bin.dir } "
79
- classpath =" ${ args4j.path } "
80
- includeantruntime =" false"
81
- debug =" true"
82
- debuglevel =" lines,vars,source" >
83
- <include name =" ${ validator.main } .java" />
84
- </javac >
85
-
86
- <jar destfile =" ${ jars.dir } /${ validator.jar } "
87
- basedir =" ${ bin.dir } " >
88
- <manifest >
89
- <attribute name =" Main-Class" value =" ${ validator.main } " />
90
- </manifest >
91
-
92
- <zipfileset src =" ${ args4j.path } " excludes =" META-INF/*.SF" />
93
- </jar >
94
-
95
- </target >
96
-
97
-
98
- <target name =" clean" >
99
- <delete dir =" ${ bin.dir } " />
100
- </target >
1
+
2
+ <project name =" DFA-Inductor" default =" all" >
3
+ <property name =" src.dir" value =" src" />
4
+ <property name =" bin.dir" value =" bin" />
5
+ <property name =" jars.dir" value =" jars" />
6
+ <property name =" lib.dir" value =" lib" />
7
+
8
+ <property name =" main.main" value =" Main" />
9
+ <property name =" main.jar" value =" main.jar" />
10
+
11
+ <property name =" dicGen.main" value =" DictionaryGeneratorMain" />
12
+ <property name =" dicGen.jar" value =" dicGen.jar" />
13
+
14
+ <property name =" validator.main" value =" Validator" />
15
+ <property name =" validator.jar" value =" validator.jar" />
16
+
17
+ <property name =" args4j.path" value =" ${ lib.dir } /args4j.jar" />
18
+ <property name =" sat4j.path" value =" ${ lib.dir } /sat4j-sat.jar" />
19
+
20
+ <target name =" all"
21
+ depends =" main-jar,
22
+ dicGen-jar,
23
+ validator-jar" >
24
+ </target >
25
+
26
+ <target name =" main-jar" >
27
+ <mkdir dir =" ${ bin.dir } " />
28
+ <mkdir dir =" ${ jars.dir } " />
29
+
30
+ <javac srcdir =" ${ src.dir } "
31
+ destdir =" ${ bin.dir } "
32
+ classpath =" ${ sat4j.path } :${ args4j.path } "
33
+ includeantruntime =" false"
34
+ debug =" true"
35
+ debuglevel =" lines,vars,source" >
36
+ <include name =" ${ main.main } .java" />
37
+ </javac >
38
+
39
+ <jar destfile =" ${ jars.dir } /${ main.jar } "
40
+ basedir =" ${ bin.dir } " >
41
+ <manifest >
42
+ <attribute name =" Main-Class" value =" ${ main.main } " />
43
+ </manifest >
44
+
45
+ <zipfileset src =" ${ sat4j.path } " excludes =" META-INF/*.SF" />
46
+ <zipfileset src =" ${ args4j.path } " excludes =" META-INF/*.SF" />
47
+ </jar >
48
+
49
+ </target >
50
+
51
+ <target name =" dicGen-jar" >
52
+ <mkdir dir =" ${ bin.dir } " />
53
+ <mkdir dir =" ${ jars.dir } " />
54
+
55
+ <javac srcdir =" ${ src.dir } "
56
+ destdir =" ${ bin.dir } "
57
+ classpath =" ${ args4j.path } "
58
+ includeantruntime =" false"
59
+ debug =" true"
60
+ debuglevel =" lines,vars,source" >
61
+ <include name =" ${ dicGen.main } .java" />
62
+ </javac >
63
+
64
+ <jar destfile =" ${ jars.dir } /${ dicGen.jar } "
65
+ basedir =" ${ bin.dir } " >
66
+ <manifest >
67
+ <attribute name =" Main-Class" value =" ${ dicGen.main } " />
68
+ </manifest >
69
+
70
+ <zipfileset src =" ${ args4j.path } " excludes =" META-INF/*.SF" />
71
+ </jar >
72
+ </target >
73
+
74
+ <target name =" validator-jar" >
75
+ <mkdir dir =" ${ bin.dir } " />
76
+ <mkdir dir =" ${ jars.dir } " />
77
+ <javac srcdir =" ${ src.dir } "
78
+ destdir =" ${ bin.dir } "
79
+ classpath =" ${ args4j.path } "
80
+ includeantruntime =" false"
81
+ debug =" true"
82
+ debuglevel =" lines,vars,source" >
83
+ <include name =" ${ validator.main } .java" />
84
+ </javac >
85
+
86
+ <jar destfile =" ${ jars.dir } /${ validator.jar } "
87
+ basedir =" ${ bin.dir } " >
88
+ <manifest >
89
+ <attribute name =" Main-Class" value =" ${ validator.main } " />
90
+ </manifest >
91
+
92
+ <zipfileset src =" ${ args4j.path } " excludes =" META-INF/*.SF" />
93
+ </jar >
94
+
95
+ </target >
96
+
97
+
98
+ <target name =" clean" >
99
+ <delete dir =" ${ bin.dir } " />
100
+ </target >
101
101
</project >
0 commit comments