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
|
buildscript {
repositories {
mavenCentral()
}
dependencies {
// Create OSGI bundles
classpath "biz.aQute.bnd:biz.aQute.bnd.gradle:4.3.1"
}
}
task copySources(type: Copy) {
description 'Copy checker-qual source from other projects.'
includeEmptyDirs = false
doFirst {
// Delete the directory in case a previously copied file should no longer be in checker-qual
delete file('src/main/java')
}
from files('../checker/src/main/java', '../dataflow/src/main/java', '../framework/src/main/java')
include "**/FormatUtil.java"
include "**/NullnessUtil.java"
include "**/RegexUtil.java"
include "**/UnitsTools.java"
include "**/SignednessUtil.java"
include "**/I18nFormatUtil.java"
include '**/org/checkerframework/**/qual/*.java'
include '**/Opt.java'
// TODO: Should we move this into a qual directory?
include '**/PurityUnqualified.java'
// Make files read only.
fileMode(0444)
into file('src/main/java')
}
apply plugin: 'biz.aQute.bnd.builder'
jar {
dependsOn copySources
manifest {
attributes('Export-Package': '*')
}
}
compileJava {
dependsOn copySources
}
clean {
delete file('src/')
}
|
