Adds an option --cpp-include to ksc, to specify files to #include at the top of the generated code.
This makes it possible for ksc to generate a self-contained C++ file. Previously if a prelude was used which defined edefs, it was not possible to compile the resulting C++ without modifying it to add the corresponding #include.
I've removed the inclusion of prelude.h at the bottom of knossos.h. This means that you now have to specify --cpp-include prelude.h explicitly. The advantage is that it becomes possible to provide other implementations of the prelude, e.g. for CUDA support.
Adds an option
--cpp-includeto ksc, to specify files to#includeat the top of the generated code.This makes it possible for ksc to generate a self-contained C++ file. Previously if a prelude was used which defined edefs, it was not possible to compile the resulting C++ without modifying it to add the corresponding
#include.I've removed the inclusion of
prelude.hat the bottom ofknossos.h. This means that you now have to specify--cpp-include prelude.hexplicitly. The advantage is that it becomes possible to provide other implementations of the prelude, e.g. for CUDA support.