rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

allow cpphs-1.20

This commit is contained in:
Jens Petersen 2016-10-06 12:19:22 +09:00
parent 42b7c9e446
commit 6ceb8aa2fd
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
Agda-cpphs-version.patch Normal file
View File

@ -0,0 +1,11 @@
--- Agda-2.4.2.5/Agda.cabal~ 2015-12-19 06:29:26.000000000 +0900
+++ Agda-2.4.2.5/Agda.cabal 2016-10-06 11:12:49.315141342 +0900
@@ -67,7 +67,7 @@
include-dirs: src/full
if flag(cpphs)
- build-tools: cpphs >= 1.19 && < 1.20
+ build-tools: cpphs >= 1.19 && < 1.21
ghc-options: -pgmP cpphs -optP --cpp
if os(windows)