diff options
Diffstat (limited to 'packages/fsharp.py')
-rw-r--r-- | packages/fsharp.py | 24 |
1 files changed, 17 insertions, 7 deletions
diff --git a/packages/fsharp.py b/packages/fsharp.py index 34aa161..e381d65 100644 --- a/packages/fsharp.py +++ b/packages/fsharp.py @@ -1,15 +1,25 @@ - class FsharpPackage(GitHubTarballPackage): def __init__(self): GitHubTarballPackage.__init__(self, 'fsharp', 'fsharp', - '2.11', - '6d4f78d60b8ca8158a10e348ffc0a050095a18f6', - configure = '') + '4.0.0.1', + 'c3aaf7d5f1f8905bbb3522b327703a43a0842cdf', + configure = './configure --prefix="%{package_prefix}"') + self.sources.extend ([ + 'patches/fsharp-fix-net45-profile.patch']) + + self.extra_stage_files = ['lib/mono/xbuild/Microsoft/VisualStudio/v/FSharp/Microsoft.FSharp.Targets'] + + def prep(self): + Package.prep (self) + + for p in range (1, len (self.sources)): + self.sh ('patch -p1 < "%{local_sources[' + str (p) + ']}"') + def build(self): self.sh ('autoreconf') - self.sh ('./configure --prefix="%{prefix}"') - self.sh ('make') + Package.configure (self) + Package.make (self) -FsharpPackage() +FsharpPackage()
\ No newline at end of file |