F# portable debugging (#5531)

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

diff --git a/packaging/MacSDK/fsharp.py b/packaging/MacSDK/fsharp.py
index 9e5348975ee9942cf5e67382621e8d738091b1f5..f2e7a9bcdb6fc2e4362f257c8ae9ae5ed4470ad6 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.9',
-                                      '0a6c66a8f18eb8a5c4d0bfac61d883b6994a918a',
-                                      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-portable-pdb.patch', 'patches/fsharp-metadata-table-size-fix.patch'])
 
     def prep(self):
         Package.prep(self)