rpms/abc
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
37 commits 22 branches 0 tags 86 KiB
Commit graph

3 commits

Author SHA1 Message Date
Jerry James
c3b63ec8c9 Update to latest git snapshot. 
- Add patches: -strict-aliasing, -overflow.
- Avoid bogus rpaths.
 2021-04-01 09:05:43 -06:00
Jerry James
d51159afe7 Update to latest git snapshot. Add -giaDeep patch to fix build failure. 2019-12-18 10:06:18 -07:00
Jerry James
101e1a3a27 Update to latest git snapshot. 
Also:
- Add -build and -format patches.
- Build with cmake.
- Enable CUDD support.
 2019-06-12 20:13:03 -06:00