File smlnj-kernel-6.x.patch of Package smlnj
Index: smlnj-110.99/config/_arch-n-opsys =================================================================== --- smlnj-110.99.orig/config/_arch-n-opsys +++ smlnj-110.99/config/_arch-n-opsys @@ -109,6 +109,7 @@ case `uname -s` in 3.*) ;; 4.*) ;; 5.*) ;; + 6.*) ;; *) exit 1 ;; esac ;;