Skip to content
Snippets Groups Projects
Commit 81ee75bb authored by Philippe Suter's avatar Philippe Suter
Browse files

No commit message

No commit message
parent 6f97ee73
Branches
Tags
No related merge requests found
......@@ -104,6 +104,8 @@
<!-- <target name="compile" depends="compile-funcheck-lib" description="compile the FunCheck plugin"> -->
<target name="compile" description="compile the FunCheck plugin" depends="deprecationwarning">
<echo message="I refuse to work. Use sbt." />
<!--
<mkdir dir="${build.plugin.funcheck.dir}" />
<scalac srcdir="${sources.dir}" destdir="${build.plugin.funcheck.dir}" force="changed" addparams="${scalac.default.params}">
<classpath>
......@@ -113,6 +115,7 @@
<exclude name="funcheck/lib/**/*"/>
<exclude name="funcheck/scalacheck/**/*" />
</scalac>
-->
</target>
<target name="deprecationwarning" description="a warning everyone should get">
......@@ -120,6 +123,8 @@
</target>
<target name="dist" depends="compile,deprecationwarning" description="build the FunCheck jar file and create the script file used to run scalac with FunCheck plugged-in">
<echo message="I refuse to work. Use sbt." />
<!--
<mkdir dir="${dist.dir}" />
<manifest file="${dist.dir}/MANIFEST.MF">
......@@ -134,6 +139,7 @@
<echo file="${script.file}" message="#!/bin/sh${line.separator}LD_LIBRARY_PATH=${lib-bin.dir} java -Dscala.home=${scala.home} -classpath ${scala-library.jar}:${scala-compiler.jar}:${distjar}:${lib.dir}/z3.jar scala.tools.nsc.Main -Xplugin:${dist.jar} $@${line.separator}" />
<chmod file="${script.file}" perm="u+x" />
-->
</target>
<!--
......@@ -187,12 +193,15 @@
-->
<target name="clean" description="clean the project space" depends="deprecationwarning">
<echo message="I refuse to work. Use sbt." />
<!--
<delete file="${script.file}" quiet="yes" failonerror="no" />
<delete dir="${build.dir}" includeemptydirs="yes" quiet="yes" failonerror="no" />
<delete dir="${dist.dir}" includeemptydirs="yes" quiet="yes" failonerror="no" />
<delete>
<fileset dir="${basedir}" includes="**/*.class" />
</delete>
-->
</target>
<target name="new" description="clean and rebuilds" depends="clean, dist, deprecationwarning" />
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment