equal
deleted
inserted
replaced
35 "windows" -> |
35 "windows" -> |
36 Platform_Info( |
36 Platform_Info( |
37 options = |
37 options = |
38 List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include", "--disable-windows-gui"), |
38 List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include", "--disable-windows-gui"), |
39 setup = MinGW.environment_export, |
39 setup = MinGW.environment_export, |
40 libs = Set("libgcc_s_seh-1", "libgmp-10", "libstdc++-6", "libwinpthread-1"))) |
40 libs = Set("libgcc_s_seh", "libgmp", "libstdc++", "libwinpthread"))) |
41 |
41 |
42 def build_polyml( |
42 def build_polyml( |
43 root: Path, |
43 root: Path, |
44 sha1_root: Option[Path] = None, |
44 sha1_root: Option[Path] = None, |
45 progress: Progress = new Progress, |
45 progress: Progress = new Progress, |