rpms / cvc4

Clone
Source Code
GIT

c1a0591 Remove . from %%cmake invocation to fix FTBFS (rhbz#2060821).

Authored and Committed by jjames 2 years ago
raw patch tree parent
3 files changed. 24 lines added. 54 lines removed.
README.md
file added
+17
cvc4-const-map-key.patch
file removed
-47
cvc4.spec
file modified
+7 -7 
    Remove . from %%cmake invocation to fix FTBFS (rhbz#2060821).
    
    Drop -const-map-key patch now that gcc has been fixed.
file added
+17
file removed
-47
file modified
+7 -7
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.