]> rtime.felk.cvut.cz Git - hercules2020/hercules-compiler.git/history - debian/patches/configure-herculescompiler-via-cmake.patch
Check first for generated Option.h in build directory and then at the original location
[hercules2020/hercules-compiler.git] / debian / patches / configure-herculescompiler-via-cmake.patch
2018-11-22 Kreiliger, FlavioCheck first for generated Option.h in build directory...
2018-11-20 Michal SojkaConfigure HerculesCompiler via CMake rather than by...