summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf/files/twelf-1.7.1-mlton-20180207.patch
blob: 823d3e37a8d8a30bf586868739743227dde734f3 (plain)
1
2
3
4
5
6
7
8
9
10
11
--- twelf-orig/Makefile	2018-03-06 23:30:35.055598250 +1100
+++ twelf/Makefile	2018-03-06 23:24:44.403762472 +1100
@@ -11,7 +11,7 @@
 polyml = poly
 smlnj = sml
 oldnj = sml
-mlton = mlton -default-ann 'nonexhaustiveMatch ignore'
+mlton = mlton -disable-ann nonexhaustiveMatch
 make = make
 
 twelfdir = `pwd`