Difference between revisions of "Clean 2.3 Compatibility Overview"
From Clean
Jump to navigationJump to searchBas Lijnse (talk | contribs) (Added libraries) |
Bas Lijnse (talk | contribs) |
||
Line 13: | Line 13: | ||
|- | |- | ||
! Optimizing static linker | ! Optimizing static linker | ||
− | | X || X || | + | | X || X || X || X |
|- | |- | ||
! Dynamic linker | ! Dynamic linker | ||
Line 19: | Line 19: | ||
|- | |- | ||
! Batch build (Clean make system) | ! Batch build (Clean make system) | ||
− | | | + | | ip || ip || ip || ip |
|- | |- | ||
! CLM (Linux clean make system) | ! CLM (Linux clean make system) | ||
Line 33: | Line 33: | ||
|- | |- | ||
! Time profile viewer | ! Time profile viewer | ||
− | | X || X || | + | | X || X || ip || ip |
|- | |- | ||
! Heap profile viewer | ! Heap profile viewer | ||
Line 56: | Line 56: | ||
|- | |- | ||
! Dynamics | ! Dynamics | ||
− | | X || | + | | X || ip || - || - |
|- | |- | ||
! ArgEnv | ! ArgEnv | ||
Line 65: | Line 65: | ||
|- | |- | ||
! ExceptionsWindows | ! ExceptionsWindows | ||
− | | X || | + | | X || - || - || - |
|- | |- | ||
! TCPIP | ! TCPIP | ||
Line 101: | Line 101: | ||
X = Available in the distribution | X = Available in the distribution | ||
− | + | ip = In progress, not yet included | |
O = Optionally available for that platform | O = Optionally available for that platform | ||
- = Not available for that platform | - = Not available for that platform | ||
? = Not tested / Unknown | ? = Not tested / Unknown |
Revision as of 13:20, 20 December 2010
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 | - | - | X | X |
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