1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00

Merge pull request #1196 from Zokrates/remove-cpp

Remove leftover cpp support
This commit is contained in:
Thibaut Schaeffer 2022-08-05 16:20:12 +02:00 committed by GitHub
commit d9aab216f9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 1 additions and 32 deletions

View file

@ -1,11 +0,0 @@
Language: Cpp
BasedOnStyle: WebKit
AllowShortCaseLabelsOnASingleLine: true
AllowShortFunctionsOnASingleLine: true
AlwaysBreakTemplateDeclarations: true
BinPackArguments: false
BinPackParameters: false
# make adding new members at the end less noisy in diffs
BreakConstructorInitializersBeforeComma: true
ConstructorInitializerAllOnOneLineOrOnePerLine: true

View file

@ -8,9 +8,7 @@ RUN cd src; ./build_release.sh
FROM ubuntu:20.04
ENV ZOKRATES_HOME=/home/zokrates/.zokrates
RUN apt-get update \
&& apt-get install -y --no-install-recommends libgmp3-dev \
&& useradd -u 1000 -m zokrates
RUN useradd -u 1000 -m zokrates
USER zokrates
WORKDIR /home/zokrates

View file

@ -1,7 +1,6 @@
FROM ubuntu:20.04
SHELL ["/bin/bash", "-c"]
ARG RUST_VERSION=nightly
ARG DEBIAN_FRONTEND=noninteractive
ENV RUSTUP_HOME=/usr/local/rustup \
@ -25,12 +24,8 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
&& rm -rf /var/lib/apt/lists/*
RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- --default-toolchain none -y \
&& rustup toolchain install $RUST_VERSION --allow-downgrade --profile minimal --component rustfmt clippy \
&& curl -sL https://deb.nodesource.com/setup_16.x | bash - && apt-get install -y nodejs && npm i -g solc \
&& curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh \
&& curl -sL https://raw.githubusercontent.com/Sarcasm/run-clang-format/master/run-clang-format.py > /opt/run-clang-format.py \
&& chmod +x /opt/run-clang-format.py \
&& ln -s /opt/run-clang-format.py /usr/bin \
&& rustup --version; cargo --version; rustc --version; wasm-pack --version; echo nodejs $(node -v);
RUN cd /opt && curl -LO https://github.com/mozilla/geckodriver/releases/download/v0.28.0/geckodriver-v0.28.0-linux64.tar.gz \

View file

@ -1,13 +0,0 @@
#!/bin/bash
apt-get update && apt-get install -y --no-install-recommends \
build-essential \
cmake \
libboost-dev \
libboost-program-options-dev \
libgmp3-dev \
libprocps-dev \
libssl-dev \
pkg-config \
python-markdown \
&& rm -rf /var/lib/apt/lists/* \