Fedor Isakov
|
fcbdbe7e47
|
Attempt to fix gradle task deps graph.
|
2020-04-13 18:00:15 +02:00 |
|
Fedor Isakov
|
fd94f0a249
|
Straghten up build tasks: assemble to be the default task. Remove superfluous configure_gradle script, use -P switches instead.
|
2019-02-04 11:32:13 +01:00 |
|
Fedor Isakov
|
e0b856634c
|
Add java plugin to all gradle scripts.
|
2019-02-01 14:15:57 +01:00 |
|
Fedor Isakov
|
080bb0a448
|
Fix gradle scripts to get rid of deprecated stuff. Default task to build everything without testing. Update INSTALL.txt.
|
2019-02-01 00:40:59 +01:00 |
|
Fedor Isakov
|
81ee94c342
|
Fix gradle scripts to ensure model checker is run after everything else has heen built.
|
2019-01-31 17:39:39 +01:00 |
|
Fedor Isakov
|
d64f469b19
|
Add tests for fitch sample project
|
2018-12-14 14:55:23 +01:00 |
|
Fedor Isakov
|
e03cd48125
|
Add fitch sample to the common build.
|
2018-07-18 15:54:52 +02:00 |