| #
235d01f0 |
|
24-Oct-2016 |
Partha Susarla <parthasarathi.susarlaajay@data61.csiro.au> |
[compiler] Build and distribution fixes.
This patch contains a couple of fixes:
* Remove files `tests.xml` and `libgum_tc_test.sh` from the install path
* Move `validate.sh` to scripts directory and is renamed to cogent_validate.sh.
This script now just runs tests and doesn't build cogent.
* Fix paths in proof generation to get the tests passing again[With Zilin Chen].
|