diff options
Diffstat (limited to 'projects/jsonnet/Dockerfile')
| -rw-r--r-- | projects/jsonnet/Dockerfile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/projects/jsonnet/Dockerfile b/projects/jsonnet/Dockerfile deleted file mode 100644 index e3d65211..00000000 --- a/projects/jsonnet/Dockerfile +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 2018 Google Inc. -# -# Licensed under the Apache License, Version 2.0 (the "License"); -# you may not use this file except in compliance with the License. -# You may obtain a copy of the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, -# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -# See the License for the specific language governing permissions and -# limitations under the License. -# -################################################################################ - -FROM gcr.io/oss-fuzz-base/base-builder -RUN apt-get update && apt-get install -y build-essential cmake -RUN git clone --depth 1 https://github.com/google/jsonnet.git jsonnet -WORKDIR $SRC/ - -COPY build.sh $SRC/ -COPY *.cc $SRC/ |