3 Commits

Author SHA1 Message Date
c40bb93d60 Changed shebang to python3 2018-05-16 23:10:44 +02:00
abd1cf37c4 Repaired amalgamation script
The amalgamation script now searches for files in the different
directories of src.

Also the full paths in the amalgamation were replaced by the basename
to produce the same content on all machines.

The makefile now creates the build directory for the amalgamation
if it does not exist.
2018-05-12 09:24:23 +02:00
36f7d74183 Unify "script" and "project" under "util". 2015-09-22 07:45:58 -07:00