iPKG: add "-X ElabReflection" to opts

yurrriq · yurrriq · commit 3844d70e7ae5 · 2017-07-20T03:49:42.000-05:00
diff --git a/software_foundations.ipkg b/software_foundations.ipkg
@@ -19,5 +19,5 @@ sourceloc  = git://git@github.com:idris-hackers/software-foundations.git
 bugtracker = https://github.com/idris-hackers/software-foundations/issues
 
 sourcedir  = src
-opts       = "--check --total"
+opts       = "--check --total -X ElabReflection"
 pkgs       = pruviloj
