fsharp.py 905 B

123456789101112131415161718192021222324
  1. class FsharpPackage(GitHubTarballPackage):
  2. def __init__(self):
  3. GitHubTarballPackage.__init__(self,
  4. 'fsharp', 'fsharp',
  5. '4.1.25',
  6. '9687f27c3e6be7b9e1646bb9ee1ae0b02080daae',
  7. configure='./configure --prefix="%{package_prefix}"',
  8. override_properties={ 'make': 'make' })
  9. self.extra_stage_files = ['lib/mono/xbuild/Microsoft/VisualStudio/v/FSharp/Microsoft.FSharp.Targets']
  10. self.sources.extend(['patches/fsharp-portable-pdb.patch', 'patches/fsharp-metadata-table-size-fix.patch', 'patches/fsharp-install-netsdk-targets.patch'])
  11. def prep(self):
  12. Package.prep(self)
  13. for p in range(1, len(self.sources)):
  14. self.sh('patch -p1 < "%{local_sources[' + str(p) + ']}"')
  15. def build(self):
  16. self.sh('autoreconf')
  17. Package.configure(self)
  18. Package.make(self)
  19. FsharpPackage()