Hi, I think you should use Poly/ML 5.6 to build Kananaskis 11. (and Poly/ML 5.6 or5.7 to build latest HOL on GitHub)
Regards, Chun Ashish Darbari wrote: > I'm running into this problem on Cent OS 7. No issues reported with > Poly ML installation (installation from sources). > > When running either smart-configure or tweaking by hand the > configure.sml file I get Static Errors. > > Any idea how to fix this? > > > Ashish > > [adarbari@localhost hol-kananaskis-11]$ poly > <tools-poly/smart-configure.sml > Poly/ML 5.7.1 Release > > HOL smart configuration. > > Determining configuration parameters: holdir OS poly polymllibdir > OS: linux > poly: /usr/local/bin/poly > polyc: /usr/local/bin/polyc > polymllibdir: /usr/local/lib > holdir: /home/adarbari/hol-kananaskis-11 > DOT_PATH: /usr/bin/dot > > Configuration will begin with above values. If they are wrong > press Control-C. > > Will continue in 1 seconds. > > Loading system specific functions > /home/adarbari/hol-kananaskis-11/tools-poly/configure.sml:283: error: > Type error in function application. > Function: > : Position.int * Position.int -> bool > Argument: (OS.FileSys.fileSize uifile, size uifile_content) : > Position.int * int > Reason: > Can't unify Position.int (*In Basis*) with int (*In Basis*) > (Different type constructors) > Found near > Time.> (modTime sigfile, modTime uifile) > orelse > OS.FileSys.fileSize uifile > size uifile_content > Static Errors > > > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > > > _______________________________________________ > hol-info mailing list > hol-info@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/hol-info ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
