ports/lang/linux-dotnet-sdk/files/extract.py
David Naylor c444ec3ffe lang/linux-dotnet-(runtime|sdk): add linux implementation of .NET Core
- add LTS versions
 - Dotnet Core 2.1 fails due to issue with linprocfs (PR pending)

.NET Core is a free and open-source managed software framework. It consists of
CoreCLR, a complete runtime implementation of CLR, the virtual machine that
manages the execution of .NET programs. CoreCLR comes with an improved
just-in-time compiler, called RyuJIT. .NET Core also includes CoreFX, which is
a partial fork of FCL. While .NET Core shares a subset of .NET Framework APIs,
it comes with its own API that is not part of .NET Framework. Further,
.NET Core contains CoreRT, the .NET Native runtime optimized to be integrated
into AOT compiled native binaries. A variant of the .NET Core library is used
for UWP. .NET Core's command-line interface offers an execution entry point
for operating systems and provides developer services like compilation and
package management.

.NET Core supports four cross-platform scenarios: ASP.NET Core web apps,
command-line apps, libraries, and Universal Windows Platform apps. It does not
implement Windows Forms or WPF which render the standard GUI for desktop
software on Windows. .NET Core is also modular, meaning that instead of
assemblies, developers work with NuGet packages. Unlike .NET Framework, which
is serviced using Windows Update, .NET Core relies on its package manager to
receive updates.

Differential Revision:	https://reviews.freebsd.org/D13870
2018-06-30 07:40:20 +00:00

39 lines
1.3 KiB
Python

#!/usr/bin/env python
from copy import copy
from os import chdir, makedirs, rename
from os.path import basename, dirname, isdir, isfile, join
from sys import argv
from zipfile import ZIP_DEFLATED, ZipFile, ZipInfo
def parse(destdir, entry):
target, source = entry.decode('utf-8').strip().split('|')
target = target.split('::')
return join(destdir, target[0]), None if len(target) == 1 else target[1], source
def main(archivefile, destdir):
archives = {}
seen = []
with ZipFile(archivefile, 'r') as archive:
for entry in archive.open("index.txt"):
target, entry_name, source = parse(destdir, entry)
data = archive.read(source)
path = dirname(target)
if not isdir(path):
makedirs(path)
if entry_name is None:
with open(target, 'wb') as file:
file.write(data)
else:
if target not in archives:
archives[target] = ZipFile(target, 'w', ZIP_DEFLATED)
zipinfo = copy(archive.getinfo(source))
zipinfo.filename = entry_name
archives[target].writestr(zipinfo, data)
for archive in archives.values():
archive.close()
if __name__ == "__main__":
main(*argv[1:])