From 81ee75bbd484a932ab7d64cce729bf1902d34b0c Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Wed, 23 Jun 2010 15:51:53 +0000
Subject: [PATCH]
---
build.xml | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/build.xml b/build.xml
index dc28336e1..6835610fb 100644
--- a/build.xml
+++ b/build.xml
@@ -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" />
--
GitLab