Move "classic" Prosa to rt.classic namespace and update documentation
- Nov 15, 2019
-
-
Björn Brandenburg authored -
Björn Brandenburg authored
1) rely on patch to actually patch the Makefile 2) move ineffective 'sed' hackery related to 'make validate' Re 2), the sed script didn't actually modify the Makefile anyway (unlear how long it has been ineffective), so let's just remove it.
8037703d -
Björn Brandenburg authored
Add support for compiling only classic Prosa, i.e., the inverse of --without-classic.
3b18aa36 -
Björn Brandenburg authored1dad4615
-
Björn Brandenburg authoreda37f107c
-
Björn Brandenburg authoredf3d1c76f
-
Björn Brandenburg authoredf7550c93
-
Björn Brandenburg authored2630d3b1
-
Björn Brandenburg authored6eab134c
-
Björn Brandenburg authored
No need to re-generate an unchanging file from scratch.
bc20368f -
Björn Brandenburg authored
It's faster to just compile the new stuff. For new developments, that's sufficient.
525c94c8 -
Björn Brandenburg authored4918b196
-
Björn Brandenburg authored8ae21891
-
Björn Brandenburg authored4e3a737c
-
Björn Brandenburg authoredfcf52c78
-
Björn Brandenburg authored48cd7a54
-
Björn Brandenburg authored
This partially addresses #54.
dbbad1f8 -
Björn Brandenburg authored3ea12adc
-
Björn Brandenburg authored24f877db
-
Björn Brandenburg authoreda1cbf4f9
-
Björn Brandenburg authored238b35e5
-