Jerry James
88002a4073
New upstream release.
...
Add -num patch to fix incomplete num to zarith conversion.
2018-02-12 20:20:06 -07:00
Jerry James
bfd7fd56a1
Bring back the -project patch, still needed (bz 1520483).
...
Add the -safe-string patch for building with ocaml 4.06.0.
Build the Jessie plugin with -runtime-variant _pic.
2017-12-09 16:07:42 -07:00
Jerry James
e031c5b41e
New upstream release.
...
Drop upstreamed -flocq24 and -frama-c-sodium patches.
Drop all gwhy-related sources, as gwhy has been retired.
Merge (X)Emacs files into the main package due to change in policy.
2015-03-31 15:58:10 -06:00
Jerry James
8ce80ce993
Omit "-z now" when building with relro (bz 1105265).
...
Resolve a conflict between Frama-C and why modules both named "Project".
2014-06-26 15:44:21 -06:00
