diff options
| author |  Juanpe Bolívar <juanpe@sinusoid.es> | 2020-07-15 03:37:37 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-07-14 18:37:37 -0700 |
| commit | 820d15ea83abe53d49ef445d7ea8947559b88746 (patch) | |
| tree | a501ea973b8dbf3d943832577716403ff718a323 /projects/immer | |
| parent | 9d61148f4d861f65b89bc5a4d107513fbad0d48b (diff) | |
[immer] Add Immer project (#4129)
* Delete files that clearly someone added by mistake
* [immer] Add initial integration
Diffstat (limited to 'projects/immer')
| -rw-r--r-- | projects/immer/Dockerfile | 21 | ||||
| -rwxr-xr-x | projects/immer/build.sh | 30 | ||||
| -rw-r--r-- | projects/immer/project.yaml | 3 |
3 files changed, 54 insertions, 0 deletions
diff --git a/projects/immer/Dockerfile b/projects/immer/Dockerfile new file mode 100644 index 00000000..6605b72b --- /dev/null +++ b/projects/immer/Dockerfile @@ -0,0 +1,21 @@ +# Copyright 2020 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 cmake libgc-dev +RUN git clone --depth 1 https://github.com/arximboldi/immer.git immer +WORKDIR immer +COPY build.sh $SRC/ diff --git a/projects/immer/build.sh b/projects/immer/build.sh new file mode 100755 index 00000000..cf367fe3 --- /dev/null +++ b/projects/immer/build.sh @@ -0,0 +1,30 @@ +#!/bin/bash -eu +# Copyright 2020 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. +# +################################################################################ + + +mkdir build +cd build +cmake .. \ + -DBOEHM_GC_INCLUDE_DIR=/usr/include \ + -DBOEHM_GC_LIBRARIES=/usr/lib/x86_64-linux-gnu/libgc.a +make -j$(nproc) fuzzers + +for fuzzer in extra/fuzzer/*; do + if [[ -f $fuzzer && -x $fuzzer ]]; then + cp $fuzzer $OUT + fi +done diff --git a/projects/immer/project.yaml b/projects/immer/project.yaml new file mode 100644 index 00000000..31c16ffb --- /dev/null +++ b/projects/immer/project.yaml @@ -0,0 +1,3 @@ +homepage: "https://sinusoid.es/immer" +language: c++ +primary_contact: "juanpe@sinusoid.al" |