fsharp.py 1.2 KB

123456789101112131415161718192021222324252627282930
  1. class FsharpPackage(GitHubTarballPackage):
  2. def __init__(self):
  3. GitHubTarballPackage.__init__(self,
  4. 'fsharp', 'fsharp',
  5. '4.5.0',
  6. '3de387432de8d11a89f99d1af87aa9ce194fe21b',
  7. configure='',
  8. override_properties={ 'make': 'make all install PREFIX="%{package_prefix}" DESTDIR=%{stage_root}' })
  9. self.extra_stage_files = ['lib/mono/xbuild/Microsoft/VisualStudio/v/FSharp/Microsoft.FSharp.Targets']
  10. self.sources.extend(['patches/fsharp-IsPathRooted-type-inference.patch',
  11. 'patches/fsharp-portable-pdb.patch',
  12. 'patches/fsharp-noinstall.patch',
  13. 'patches/fsharp-GetFileNameWithoutExtension-type-inference.patch',
  14. 'patches/fsharp-msbuild-16-0.patch',
  15. 'patches/fsharp-custom-prefix.patch'])
  16. def prep(self):
  17. Package.prep(self)
  18. for p in range(1, len(self.sources)):
  19. self.sh('patch -p1 < "%{local_sources[' + str(p) + ']}"')
  20. def build(self):
  21. Package.make(self)
  22. def install(self):
  23. pass
  24. FsharpPackage()