rpms/ocaml-cil
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
96 Commits 30 Branches 28 Tags 115 KiB
a7bda7b1f4
Commit Graph

1 Commits

Author SHA1 Message Date
Gabriel Kerneis
bba9fbd600 New upstream version 1.7.3 
- Use upstream make install target.
- Build and install documentation.
- Run test suite.
- Fix perl-related Provides and Requires for -cilly.
- Enable on arm and ppc (fixed by upstream ./configure).
- Apply two upstream patches to test suite.
 2013-09-03 11:13:12 +01:00