In version 2.19 the option -dembed-source-code was added :)
Ok, 2.19 is called “unstable” but 2.20 (the next “stable”) will have this feature and a lot of people use 2.19 because it’s definitely better than 2.18 in many aspects.
| Posted at 10:18, 3 August 2016 by MalteM |
|