Merge Lean's source

package/lean/srelay/patches/001-compile.patch

@@ -1,6 +1,15 @@
 --- a/configure
 +++ b/configure
-@@ -3999,11 +3999,11 @@
+@@ -2361,7 +2361,7 @@ test -n "$target_alias" &&
+     NONENONEs,x,x, &&
+   program_prefix=${target_alias}-
+ 
+-case "$build_os" in
++case "$host_os" in
+   freebsd*)
+ 	OS=FREEBSD
+ 	$as_echo "#define FREEBSD 1" >>confdefs.h
+@@ -3999,11 +3999,11 @@ $as_echo_n "checking whether enabling th
  	    LDFLAGS="$LDFLAGS -lpthread"
  	fi
  	if test "$cross_compiling" = yes; then :