class FsharpPackage(GitHubTarballPackage):
def __init__(self):
- GitHubTarballPackage.__init__(self,
- 'fsharp', 'fsharp',
- '4.0.1.9',
- '0a6c66a8f18eb8a5c4d0bfac61d883b6994a918a',
- configure='./configure --prefix="%{package_prefix}"')
+ GitHubTarballPackage.__init__(
+ self,
+ 'fsharp',
+ 'fsharp',
+ '4.1.8',
+ '991186f6c95b30a80f217b9319354b32c86212de',
+ configure='./configure --prefix="%{package_prefix}"',
+ override_properties={
+ 'make': 'make'})
self.extra_stage_files = [
'lib/mono/xbuild/Microsoft/VisualStudio/v/FSharp/Microsoft.FSharp.Targets']
+ self.sources.extend(
+ [
+ 'patches/fsharp-enable-jit-tracking-for-portable-pdb.patch',
+ 'patches/fsharp-fix-mdb-support.patch',
+ 'patches/fsharp-Fix-mono-gac-location.patch',
+ 'patches/fsharp-fix-xbuild-check.patch'])
def prep(self):
Package.prep(self)