plugins {
	id 'eclipse'
}

sourceSets.test.java.srcDirs = ['src']


////////////////////////////////////////////////////////////////////////
//
//  download JLex
//

task downloadJLex(type: VerifiedDownload) {
	src 'http://www.cs.princeton.edu/~appel/modern/java/JLex/current/Main.java'
	checksum 'fe0cff5db3e2f0f5d67a153cf6c783af'
	dest 'src/JLex/Main.java'
}

task cleanDownloadJLex(type: Delete) {
	delete downloadJLex.dest.parent
}

compileTestJava.dependsOn downloadJLex
clean.dependsOn cleanDownloadJLex


////////////////////////////////////////////////////////////////////////
//
//  create Eclipse metadata for use by Maven when running
//  com.ibm.wala.cast.java.test.JDTJavaIRTests and
//  com.ibm.wala.cast.java.test.JDTJava15IRTests tests
//

task prepareMavenBuild(dependsOn: [eclipseClasspath, eclipseProject]) {
}