| Log Message: |
Several changes to get BinToken compilation active again from PyGTK interface. Still not working but the problems now are in the C layer.
Tidied doc for slvDOF.h
Changed BinTokenSetOptions to saner use of strings -- no more 'taking ownership' of char arrays passed.
Added Compiler.use_binary_compilation option in PyGTK GUI.
Moved all the bintoken stuff out of class Type and into Compiler, where it should be (C++).
|
trunk/base/disused/compiler/interface.c