Clean 2.3 Compatibility Overview
From Clean
Revision as of 13:34, 20 December 2010 by Bas Lijnse (talk | contribs)
Not all Clean Tools and Libraries are available on each platform. On this page we provide an overview of what is available on which platforms for the (upcoming) Clean 2.3 release.
Platform | Windows 32-bit | Windows 64-bit | Linux 32-bit | Linux 64-bit |
---|---|---|---|---|
System tools | ||||
Clean 2.3 compiler | X | X | X | X |
Code generator | X | X | X | X |
Optimizing static linker | X | X | X | X |
Dynamic linker | X | - | - | - |
Batch build (Clean make system) | ip | ip | ip | ip |
CLM (Linux clean make system) | - | - | X | X |
Additional tools | ||||
Project file editor | - | - | ip | ip |
Clean IDE | X | X | - | - |
Time profile viewer | X | X | ip | ip |
Heap profile viewer | X | X | - | - |
htoclean | X | X | X | X |
Sparkle (proof system) | X | - | - | - |
System libraries | ||||
StdEnv | X | X | X | X |
StdEnv (Sparkle version) | X | - | - | - |
Generics | X | X | X | X |
Dynamics | X | ip | - | - |
ArgEnv | X | X | X | X |
Directory | X | X | X | X |
ExceptionsWindows | X | - | - | - |
TCPIP | X | X | - | - |
Other libraries | ||||
ExtendedArith | X | - | - | - |
Gamelib | X | X | - | - |
Gast | X | X | ? | ? |
MersenneTwister | X | X | X | X |
ObjectIO | X | X | - | - |
Tcp (ObjectIO version) | X | X | - | - |
Parsers | X | X | ? | ? |
StdLib | X | X | X | X |
WrapDebug | X | X | - | - |
X = Available in the distribution ip = In progress, not yet included O = Optionally available for that platform - = Not available for that platform ? = Not tested / Unknown