example-project/build.gradle


1
2
3
4
5
6
7
8
9
10
11

plugins {
    id 'ch.fhnw.thga.frege' version 'latest'
    id 'java'
}

frege {
    version = '3.25.84'
    release = '3.25alpha'
    mainModule = 'ch.fhnw.thga.HelloFrege'
    replModule = 'ch.fhnw.thga.HelloFrege'
}