Skip to content
  • Xavier Leroy's avatar
    "macosx" is now called "macos" · ab62e1be
    Xavier Leroy authored
    The configure script still accepts "macosx" for backward compatibility,
    but every other part of CompCert now uses "macos".
    ab62e1be