[MacSDK] Switch to HTTPS for downloading SQLite

[mono.git] / packaging / MacSDK / fsharp.py

diff --git a/packaging/MacSDK/fsharp.py b/packaging/MacSDK/fsharp.py
index a5af6000994f25b954a24b20febb79356cf551b0..eeab6c36a927c82329a4337ce14a54705e29b6e4 100644 (file)
--- a/packaging/MacSDK/fsharp.py
+++ b/packaging/MacSDK/fsharp.py
@@ -1,14 +1,14 @@
 class FsharpPackage(GitHubTarballPackage):
-
     def __init__(self):
         GitHubTarballPackage.__init__(self,
-                                      'fsharp', 'fsharp',
-                                      '4.0.1.20',
-                                      '9bd7c2420e06c1597ef5a37b6cb6e0f8d2911b10',
-                                      configure='./configure --prefix="%{package_prefix}"')
+            'fsharp', 'fsharp',
+            '4.1.25',
+            '9687f27c3e6be7b9e1646bb9ee1ae0b02080daae',
+            configure='./configure --prefix="%{package_prefix}"',
+            override_properties={ 'make': 'make' })
 
-        self.extra_stage_files = [
-            'lib/mono/xbuild/Microsoft/VisualStudio/v/FSharp/Microsoft.FSharp.Targets']
+        self.extra_stage_files = ['lib/mono/xbuild/Microsoft/VisualStudio/v/FSharp/Microsoft.FSharp.Targets']
+        self.sources.extend(['patches/fsharp-fix-mdb-support.patch'])
 
     def prep(self):
         Package.prep(self)