MathLogic/module_mathlogic.xml at master · marsermd/MathLogic · 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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
<?xml version="1.0" encoding="UTF-8"?>
<project name="module_mathlogic" default="compile.module.mathlogic">
  <dirname property="module.mathlogic.basedir" file="${ant.file.module_mathlogic}"/>

  <property name="module.jdk.home.mathlogic" value="${project.jdk.home}"/>
  <property name="module.jdk.bin.mathlogic" value="${project.jdk.bin}"/>
  <property name="module.jdk.classpath.mathlogic" value="${project.jdk.classpath}"/>

  <property name="compiler.args.mathlogic" value="-encoding UTF-8 -source 1.6 ${compiler.args}"/>

  <property name="mathlogic.output.dir" value="${module.mathlogic.basedir}/out/production/MathLogic"/>
  <property name="mathlogic.testoutput.dir" value="${module.mathlogic.basedir}/out/test/MathLogic"/>

  <path id="mathlogic.module.bootclasspath">
    <!-- Paths to be included in compilation bootclasspath -->
  </path>

  <path id="mathlogic.module.production.classpath">
    <path refid="${module.jdk.classpath.mathlogic}"/>
    <pathelement location="${idea.home}/lib/hamcrest-core-1.3.jar"/>
    <pathelement location="${idea.home}/lib/hamcrest-library-1.3.jar"/>
    <pathelement location="${idea.home}/lib/junit-4.11.jar"/>
  </path>

  <path id="mathlogic.runtime.production.module.classpath">
    <pathelement location="${mathlogic.output.dir}"/>
    <pathelement location="${idea.home}/lib/hamcrest-core-1.3.jar"/>
    <pathelement location="${idea.home}/lib/hamcrest-library-1.3.jar"/>
    <pathelement location="${idea.home}/lib/junit-4.11.jar"/>
  </path>

  <path id="mathlogic.module.classpath">
    <path refid="${module.jdk.classpath.mathlogic}"/>
    <pathelement location="${mathlogic.output.dir}"/>
    <pathelement location="${idea.home}/lib/hamcrest-core-1.3.jar"/>
    <pathelement location="${idea.home}/lib/hamcrest-library-1.3.jar"/>
    <pathelement location="${idea.home}/lib/junit-4.11.jar"/>
  </path>

  <path id="mathlogic.runtime.module.classpath">
    <pathelement location="${mathlogic.testoutput.dir}"/>
    <pathelement location="${mathlogic.output.dir}"/>
    <pathelement location="${idea.home}/lib/hamcrest-core-1.3.jar"/>
    <pathelement location="${idea.home}/lib/hamcrest-library-1.3.jar"/>
    <pathelement location="${idea.home}/lib/junit-4.11.jar"/>
  </path>


  <patternset id="excluded.from.module.mathlogic">
    <patternset refid="ignored.files"/>
  </patternset>

  <patternset id="excluded.from.compilation.mathlogic">
    <patternset refid="excluded.from.module.mathlogic"/>
  </patternset>

  <path id="mathlogic.module.sourcepath">
    <dirset dir="${module.mathlogic.basedir}">
      <include name="src"/>
      <include name="testResources"/>
      <include name="adding"/>
      <include name="arithmeticalAxioms"/>
    </dirset>
  </path>

  <path id="mathlogic.module.test.sourcepath">
    <dirset dir="${module.mathlogic.basedir}">
      <include name="tests"/>
    </dirset>
  </path>


  <target name="compile.module.mathlogic" depends="compile.module.mathlogic.production,compile.module.mathlogic.tests" description="Compile module MathLogic"/>

  <target name="compile.module.mathlogic.production" depends="register.custom.compilers" description="Compile module MathLogic; production classes">
    <mkdir dir="${mathlogic.output.dir}"/>
    <javac2 destdir="${mathlogic.output.dir}" debug="${compiler.debug}" nowarn="${compiler.generate.no.warnings}" memorymaximumsize="${compiler.max.memory}" fork="true" executable="${module.jdk.bin.mathlogic}/javac">
      <compilerarg line="${compiler.args.mathlogic}"/>
      <bootclasspath refid="mathlogic.module.bootclasspath"/>
      <classpath refid="mathlogic.module.production.classpath"/>
      <src refid="mathlogic.module.sourcepath"/>
      <patternset refid="excluded.from.compilation.mathlogic"/>
    </javac2>

    <copy todir="${mathlogic.output.dir}">
      <fileset dir="${module.mathlogic.basedir}/src">
        <patternset refid="compiler.resources"/>
        <type type="file"/>
      </fileset>
      <fileset dir="${module.mathlogic.basedir}/testResources">
        <patternset refid="compiler.resources"/>
        <type type="file"/>
      </fileset>
      <fileset dir="${module.mathlogic.basedir}/adding">
        <patternset refid="compiler.resources"/>
        <type type="file"/>
      </fileset>
      <fileset dir="${module.mathlogic.basedir}/arithmeticalAxioms">
        <patternset refid="compiler.resources"/>
        <type type="file"/>
      </fileset>
    </copy>
  </target>

  <target name="compile.module.mathlogic.tests" depends="register.custom.compilers,compile.module.mathlogic.production" description="compile module MathLogic; test classes" unless="skip.tests">
    <mkdir dir="${mathlogic.testoutput.dir}"/>
    <javac2 destdir="${mathlogic.testoutput.dir}" debug="${compiler.debug}" nowarn="${compiler.generate.no.warnings}" memorymaximumsize="${compiler.max.memory}" fork="true" executable="${module.jdk.bin.mathlogic}/javac">
      <compilerarg line="${compiler.args.mathlogic}"/>
      <bootclasspath refid="mathlogic.module.bootclasspath"/>
      <classpath refid="mathlogic.module.classpath"/>
      <src refid="mathlogic.module.test.sourcepath"/>
      <patternset refid="excluded.from.compilation.mathlogic"/>
    </javac2>

    <copy todir="${mathlogic.testoutput.dir}">
      <fileset dir="${module.mathlogic.basedir}/tests">
        <patternset refid="compiler.resources"/>
        <type type="file"/>
      </fileset>
    </copy>
  </target>

  <target name="clean.module.mathlogic" description="cleanup module">
    <delete dir="${mathlogic.output.dir}"/>
    <delete dir="${mathlogic.testoutput.dir}"/>
  </target>
</project>