equal
deleted
inserted
replaced
29 libs = Set("libpolyml", "libgmp")), |
29 libs = Set("libpolyml", "libgmp")), |
30 "windows" -> |
30 "windows" -> |
31 Platform_Info( |
31 Platform_Info( |
32 options = |
32 options = |
33 List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include", "--disable-windows-gui"), |
33 List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include", "--disable-windows-gui"), |
34 setup = MinGW.environment_export, |
34 setup = MinGW.env_prefix(), |
35 libs = Set("libgcc_s_seh", "libgmp", "libstdc++", "libwinpthread"))) |
35 libs = Set("libgcc_s_seh", "libgmp", "libstdc++", "libwinpthread"))) |
36 |
36 |
37 sealed case class Platform_Context( |
37 sealed case class Platform_Context( |
38 platform: Isabelle_Platform = Isabelle_Platform.self, |
38 platform: Isabelle_Platform = Isabelle_Platform.self, |
39 mingw: MinGW = MinGW.none, |
39 mingw: MinGW = MinGW.none, |