build.gradle


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

buildscript {
  repositories {
    flatDir name:"frege-lib", dirs:"buildSrc/lib"
  }
}

apply plugin: "frege"
apply plugin: "idea"
apply plugin: "java"


repositories {
  flatDir name:"frege-lib", dirs:"buildSrc/lib"
}

dependencies {
  compile ":frege:3.21.232-g7b05453"
}

compileFrege {
  outputDir = project.file("$buildDir/frege")
  verbose = true
}