Minor change to build script. - Githubissues

githwxi / ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates

www.ats-lang.org

Other

354 stars 54 forks source link

Minor change to build script. #228

Closed sparverius closed 5 years ago

sparverius commented 5 years ago

The variables "CONFIGURE_AC" and "AC_INIT_VERSION" should be placed within the function "check_ac_init_version" so that PATSHOME is properly set. Otherwise, PATSHOME expands to "".

While testing the potential release archives, ATS2-Postiats-int-0.3.13.tgz and ATS2-Postiats-gmp-0.3.13.tgz with the tests from doc/EXAMPLE/ATSLIB/ , doc/EXAMPLE/ATSLIB/libats_ML_array0.dats fails to compile due to changes in libats/ML/SATS/array0.sats

The changes to the test file, doc/EXAMPLE/ATSLIB/libats_ML_array0.dats, reflect previous additions, seen here: https://github.com/githwxi/ATS-Postiats/commit/8f360b05caf3a4b0172c9f9896b4209df21422a7#diff-6c50c67789307afbb8beaaba492826f0R207

githwxi commented 5 years ago

Thanks! Tricky semantics :)