fsharp:10

LABEL maintainer=Dave Curylo <[email protected]>, Steve Desmond <[email protected]>

0 B

ENV MONO_THREADS_PER_CPU=50

0 B

/bin/sh -c MONO_VERSION=6.10.0.104 && FSHARP_VERSION=10.2.3 && FSHARP_BASENAME=fsharp-$FSHARP_VERSION && FSHARP_ARCHIVE=$FSHARP_VERSION.tar.gz && FSHARP_ARCHIVE_URL=https://github.com/fsharp/fsharp/archive/$FSHARP_VERSION.tar.gz && export GNUPGHOME="$(mktemp -d)" && apt-get update && apt-get --no-install-recommends install -y gnupg dirmngr ca-certificates apt-transport-https && apt-key adv --batch --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF && echo "deb https://download.mono-project.com/repo/debian stable-buster/snapshots/$MONO_VERSION main" | tee /etc/apt/sources.list.d/mono-official-stable.list && apt-get update -y && apt-get --no-install-recommends install -y pkg-config make nuget mono-devel msbuild ca-certificates-mono locales && rm -rf /var/lib/apt/lists/* && echo 'en_US.UTF-8 UTF-8' > /etc/locale.gen && /usr/sbin/locale-gen && mkdir -p /tmp/src && cd /tmp/src && printf "namespace a { class b { public static void Main(string[] args) { new System.Net.WebClient().DownloadFile(\"%s\", \"%s\");}}}" $FSHARP_ARCHIVE_URL $FSHARP_ARCHIVE > download-fsharp.cs && mcs download-fsharp.cs && mono download-fsharp.exe && rm download-fsharp.exe download-fsharp.cs && tar xf $FSHARP_ARCHIVE && cd $FSHARP_BASENAME && make && make install && cd ~ && rm -rf /tmp/src /tmp/NuGetScratch ~/.nuget ~/.config ~/.local "$GNUPGHOME" && apt-get purge -y make gnupg dirmngr && apt-get clean

158.85 MB

WORKDIR /root

0 B

CMD ["fsharpi"]

0 B