flix/build.gradle at master · LibreCybernetics/flix · GitHub

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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
plugins {
    id 'application'
    id 'scala'
}

application {
    mainClass.set('ca.uwaterloo.flix.Main')
}

repositories {
    mavenCentral()
}

dependencies {
    implementation 'org.scala-lang:scala-library:2.13.5!!'
    implementation 'org.scala-lang:scala-reflect:2.13.5!!'

    implementation('org.java-websocket:Java-WebSocket:1.3.9')
    implementation('org.jline:jline:3.5.1')
    implementation('org.json4s:json4s-native_2.13:3.5.5')
    implementation('org.ow2.asm:asm:9.2')
    implementation('org.parboiled:parboiled_2.13:2.2.1')
    implementation('org.scalactic:scalactic_2.13:3.0.8')
    implementation("org.scala-lang.modules:scala-parallel-collections_2.13:0.2.0")
    implementation('com.github.scopt:scopt_2.13:4.0.1')
    implementation('com.google.guava:guava:25.1-jre')

    // implementation("io.github.p-org.solvers:pjbdd:1.0.10-10-v5")
    implementation files('lib/pjbdd-v1.0.10-9-67-gf113b5a.jar')

    implementation('io.get-coursier:coursier_2.13:2.1.0-RC4')
    implementation('org.tomlj:tomlj:1.1.0')
    implementation('org.antlr:antlr4-runtime:4.11.1')

    testImplementation('org.scalatest:scalatest_2.13:3.0.8')
}

tasks.withType(ScalaCompile) {
    scalaCompileOptions.forkOptions.with {
        memoryMaximumSize = '1536m'
    }
    scalaCompileOptions.additionalParameters = [
            "-language:postfixOps",
            "-Xfatal-warnings",
            "-Ypatmat-exhaust-depth", "400"
    ]
    compileScala.sourceCompatibility = 11
    compileScala.targetCompatibility = 11
}

sourceSets {
    main {
        scala {
            srcDirs = ['main/src']
        }
    }
    test {
        scala {
            srcDirs = ['main/test']
        }
    }
}

jar {
    manifest {
        attributes 'Main-Class': 'ca.uwaterloo.flix.Main'
    }

    from {
        // This line has to come before the next
        configurations.runtimeClasspath.collect { it.isDirectory() ? it : zipTree(it) }
        configurations.compileClasspath.collect { it.isDirectory() ? it : zipTree(it) }
    }

    from('main') {
        include '**/*.flix'
        include '**/*.zip'
    }

    duplicatesStrategy = 'exclude'
}

task testAll(dependsOn: ['testClasses'], type: JavaExec) {
    mainClass = 'org.scalatest.tools.Runner'
    args = ['-s', 'ca.uwaterloo.flix.TestAll', '-o']
    classpath = sourceSets.test.runtimeClasspath
    standardInput = System.in
}

test.dependsOn testAll