578 lines
40 KiB
XML
578 lines
40 KiB
XML
<project name="fitch" default="build">
|
|
<!-- Generated by MPS -->
|
|
<property name="build.dir" location="build" />
|
|
<property name="build.tmp" location="${build.dir}/tmp/fitch" />
|
|
<property name="build.layout" location="${build.dir}/artifacts/fitch" />
|
|
<property name="coderules_art" location="${basedir}/../../build/artifacts/coderules" />
|
|
<property name="mps_home" location="${basedir}/../../MPS_HOME" />
|
|
<property name="artifacts.mps" location="${mps_home}" />
|
|
<property name="artifacts.coderules" location="${coderules_art}" />
|
|
<property file="${artifacts.mps}/build.properties" prefix="import.mps" />
|
|
<property file="${artifacts.coderules}/build.properties" prefix="import.coderules" />
|
|
<property name="mps.build.number" value="${import.mps.mps.build.number}" />
|
|
<property name="mps.date" value="${import.mps.mps.date}" />
|
|
<property name="mps.build.vcs.number" value="${import.mps.mps.build.vcs.number}" />
|
|
<property name="mps.teamcity.buildConfName" value="${import.mps.mps.teamcity.buildConfName}" />
|
|
<property name="mps.idea.platform.build.number" value="${import.mps.mps.idea.platform.build.number}" />
|
|
<property name="mps.mps.build.counter" value="${import.mps.mps.mps.build.counter}" />
|
|
<property name="mpsBootstrapCore.version" value="${import.mps.mpsBootstrapCore.version}" />
|
|
<property name="coderules.ci.build.num" value="${import.coderules.coderules.ci.build.num}" />
|
|
<property name="environment" value="env" />
|
|
<property name="env.JAVA_HOME" value="${java.home}/.." />
|
|
<property name="jdk.home" value="${env.JAVA_HOME}" />
|
|
<property name="mps.generator.skipUnmodifiedModels" value="false" />
|
|
|
|
<path id="path.mps.ant.path">
|
|
<pathelement location="${artifacts.mps}/lib/ant/lib/ant-mps.jar" />
|
|
<pathelement location="${artifacts.mps}/lib/jdom.jar" />
|
|
<pathelement location="${artifacts.mps}/lib/log4j.jar" />
|
|
</path>
|
|
|
|
<target name="assemble" depends="declare-mps-tasks, classes">
|
|
<mkdir dir="${build.layout}" />
|
|
<echo file="${build.layout}/build.properties">mps.build.number=${mps.build.number}${line.separator}mps.date=${mps.date}${line.separator}mps.build.vcs.number=${mps.build.vcs.number}${line.separator}mps.teamcity.buildConfName=${mps.teamcity.buildConfName}${line.separator}mps.idea.platform.build.number=${mps.idea.platform.build.number}${line.separator}mps.mps.build.counter=${mps.mps.build.counter}${line.separator}mpsBootstrapCore.version=${mpsBootstrapCore.version}${line.separator}coderules.ci.build.num=${coderules.ci.build.num}</echo>
|
|
</target>
|
|
|
|
<target name="buildDependents" />
|
|
|
|
<target name="fetchDependencies" />
|
|
|
|
<target name="build" depends="assemble" />
|
|
|
|
<target name="clean">
|
|
<delete dir="${build.tmp}" />
|
|
<delete dir="${build.layout}" />
|
|
</target>
|
|
|
|
<target name="generate" depends="declare-mps-tasks, fetchDependencies">
|
|
<echo message="generating" />
|
|
<generate strictMode="true" parallelMode="true" parallelThreads="8" useInplaceTransform="false" hideWarnings="false" createStaticRefs="true" fork="true" skipUnmodifiedModels="${mps.generator.skipUnmodifiedModels}">
|
|
<plugin path="${artifacts.mps}/plugins/mps-core/META-INF/plugin.xml/../.." />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.smodel.types.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.logic.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.logic.reactor.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.annotation.jar" />
|
|
<library file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.blTypes.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.classifiers.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.extensionMethods.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.javadoc.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jdk7.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jdk8.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.tuples.jar" />
|
|
<library file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguageInternal.jar" />
|
|
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.aspect.constraints.jar" />
|
|
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.aspect.structure.jar" />
|
|
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.aspect.typesystem.jar" />
|
|
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.bootstrap-languages.jar" />
|
|
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.general-purpose.jar" />
|
|
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.language-descriptor.jar" />
|
|
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.language-design.jar" />
|
|
<library file="${artifacts.mps}/languages/devkits/jetbrains.mps.devkit.templates.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.baseLanguage.lightweightdsl.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.actions.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.aspect.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.behavior.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.checkedName.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.constraints.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.analyzers.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.dataFlow.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.editor.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.findUsages.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.generator.generationContext.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.generator.generationParameters.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.generator.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.intentions.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.migration.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.migration.runtime.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.pattern.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.plugin.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.project.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.quotation.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.refactoring.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.resources.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.scopes.runtime.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.script.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.sharedConcepts.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.query.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.textGen.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.typesystem.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.util.order.jar" />
|
|
<library file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.refactoring.participant.jar" />
|
|
<library file="${artifacts.mps}/languages/text/jetbrains.mps.lang.text.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<library file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<library file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.editor.table.jar" />
|
|
<library file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.editor.table.runtime.jar" />
|
|
<library file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.migration.util.jar" />
|
|
<chunk>
|
|
<module file="${basedir}/languages/samples.fitch/samples.fitch.mpl" />
|
|
<module file="${basedir}/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl" />
|
|
<module file="${basedir}/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl" />
|
|
<module file="${basedir}/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl" />
|
|
</chunk>
|
|
<chunk>
|
|
<module file="${basedir}/solutions/samples.fitch.demo/samples.fitch.demo.msd" />
|
|
</chunk>
|
|
<jvmargs>
|
|
<arg value="-Xmx512m" />
|
|
</jvmargs>
|
|
<macro name="coderules_art" path="${coderules_art}" />
|
|
<macro name="mps_home" path="${mps_home}" />
|
|
</generate>
|
|
</target>
|
|
|
|
<target name="declare-mps-tasks">
|
|
<taskdef resource="jetbrains/mps/build/ant/antlib.xml" classpathref="path.mps.ant.path" />
|
|
</target>
|
|
|
|
<target name="makeDependents" />
|
|
|
|
<target name="compileJava" depends="java.compile.samples.fitch, java.compile.samples.fitch#4322786184247805322, java.compile.samples.fitch.propositionalLogic, java.compile.samples.fitch.propositionalLogic#5505606474790531941, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.herbrandLogic#3059457401298723545, java.compile.samples.fitch.firstOrderLogic, java.compile.samples.fitch.firstOrderLogic#4035326440039985569, java.compile.samples.fitch.demo" />
|
|
|
|
<target name="processResources" />
|
|
|
|
<target name="classes" depends="compileJava, processResources" />
|
|
|
|
<target name="test" depends="classes" />
|
|
|
|
<target name="check" depends="test" />
|
|
|
|
<target name="java.compile.samples.fitch" depends="fetchDependencies">
|
|
<mkdir dir="${basedir}/languages/samples.fitch/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/languages/samples.fitch/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/log4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jdom.jar" />
|
|
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
|
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<fileset file="${artifacts.mps}/plugins/mps-core/languages/languageDesign/jetbrains.mps.lang.editor.table.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="reactive-streams-1.0.0.final.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava-2.1.1.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="rxjava2-swing-0.2.1.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-runtime-1.2.30.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-stdlib-1.2.30.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-api-0.9.2.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-core-0.9.2.jar" />
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch#4322786184247805322" depends="java.compile.samples.fitch, fetchDependencies">
|
|
<mkdir dir="${basedir}/languages/samples.fitch/generator/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch#4322786184247805322" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch#4322786184247805322" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/languages/samples.fitch/generator/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/log4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jdom.jar" />
|
|
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
|
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.propositionalLogic" depends="java.compile.samples.fitch, fetchDependencies">
|
|
<mkdir dir="${basedir}/languages/samples.fitch.propositionalLogic/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.propositionalLogic" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/languages/samples.fitch.propositionalLogic/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/log4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jdom.jar" />
|
|
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
|
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-runtime-1.2.30.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-stdlib-1.2.30.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-api-0.9.2.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-core-0.9.2.jar" />
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.propositionalLogic#5505606474790531941" depends="java.compile.samples.fitch, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${basedir}/languages/samples.fitch.propositionalLogic/generator/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.propositionalLogic#5505606474790531941" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.propositionalLogic#5505606474790531941" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/languages/samples.fitch.propositionalLogic/generator/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/log4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jdom.jar" />
|
|
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
|
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.herbrandLogic" depends="java.compile.samples.fitch, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${basedir}/languages/samples.fitch.herbrandLogic/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.herbrandLogic" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/languages/samples.fitch.herbrandLogic/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/log4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jdom.jar" />
|
|
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
|
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.regexp.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-runtime-1.2.30.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-stdlib-1.2.30.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-api-0.9.2.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-core-0.9.2.jar" />
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.herbrandLogic#3059457401298723545" depends="java.compile.samples.fitch, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${basedir}/languages/samples.fitch.herbrandLogic/generator/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.herbrandLogic#3059457401298723545" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.herbrandLogic#3059457401298723545" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/languages/samples.fitch.herbrandLogic/generator/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/log4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jdom.jar" />
|
|
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
|
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.firstOrderLogic" depends="java.compile.samples.fitch, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${basedir}/languages/samples.fitch.firstOrderLogic/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.firstOrderLogic" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.firstOrderLogic" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/languages/samples.fitch.firstOrderLogic/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/log4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jdom.jar" />
|
|
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
|
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.coderules.template.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
|
|
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="collection-0.7.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="trove4j-3.0.3.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-runtime-1.2.30.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="kotlin-stdlib-1.2.30.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-api-0.9.2.jar" />
|
|
<fileset dir="${artifacts.coderules}/deploy/lib" includes="conreactor-core-0.9.2.jar" />
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.firstOrderLogic#4035326440039985569" depends="java.compile.samples.fitch, java.compile.samples.fitch.firstOrderLogic, java.compile.samples.fitch.herbrandLogic, java.compile.samples.fitch.propositionalLogic, fetchDependencies">
|
|
<mkdir dir="${basedir}/languages/samples.fitch.firstOrderLogic/generator/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.firstOrderLogic#4035326440039985569" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.firstOrderLogic#4035326440039985569" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/languages/samples.fitch.firstOrderLogic/generator/source_gen" />
|
|
</src>
|
|
<classpath>
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-behavior-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-closures.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-collections.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-openapi.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-core.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-logging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-tuples.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-references.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-messaging.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-boot-util.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-api.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-editor-runtime.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-platform.jar" />
|
|
<fileset file="${artifacts.mps}/lib/mps-environment.jar" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.firstOrderLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.herbrandLogic" />
|
|
<pathelement path="${build.tmp}/java/out/samples.fitch.propositionalLogic" />
|
|
<fileset file="${artifacts.mps}/lib/annotations.jar" />
|
|
<fileset file="${artifacts.mps}/lib/log4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/jdom.jar" />
|
|
<fileset file="${artifacts.mps}/lib/trove4j.jar" />
|
|
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
|
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
|
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
|
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="java.compile.samples.fitch.demo">
|
|
<mkdir dir="${basedir}/solutions/samples.fitch.demo/source_gen" />
|
|
<mkdir dir="${build.tmp}/java/out/samples.fitch.demo" />
|
|
<javac destdir="${build.tmp}/java/out/samples.fitch.demo" fork="true" encoding="utf8" includeantruntime="false" debug="true">
|
|
<compilerarg value="-Xlint:none" />
|
|
<src>
|
|
<path location="${basedir}/solutions/samples.fitch.demo/source_gen" />
|
|
</src>
|
|
<classpath />
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="cleanSources">
|
|
<delete dir="${basedir}/languages/samples.fitch/source_gen" />
|
|
<delete dir="${basedir}/languages/samples.fitch/generator/source_gen" />
|
|
<delete dir="${basedir}/languages/samples.fitch.firstOrderLogic/source_gen" />
|
|
<delete dir="${basedir}/languages/samples.fitch.firstOrderLogic/generator/source_gen" />
|
|
<delete dir="${basedir}/languages/samples.fitch.herbrandLogic/source_gen" />
|
|
<delete dir="${basedir}/languages/samples.fitch.herbrandLogic/generator/source_gen" />
|
|
<delete dir="${basedir}/languages/samples.fitch.propositionalLogic/source_gen" />
|
|
<delete dir="${basedir}/languages/samples.fitch.propositionalLogic/generator/source_gen" />
|
|
<delete dir="${basedir}/solutions/samples.fitch.demo/source_gen" />
|
|
</target>
|
|
</project> |