From a8ece9c614ed3cf60a95e6bf4640e8abfd212826 Mon Sep 17 00:00:00 2001
From: Jeongseok Lee <jslee02@gmail.com>
Date: Mon, 18 Dec 2023 21:04:15 -0800
Subject: [PATCH] Add image for 6.14 + ubuntu:23.10

---
 v6.13/Dockerfile.ubuntu.mantic | 104 +++++++++++++++++++++++++++++++++
 1 file changed, 104 insertions(+)
 create mode 100644 v6.13/Dockerfile.ubuntu.mantic

diff --git a/v6.13/Dockerfile.ubuntu.mantic b/v6.13/Dockerfile.ubuntu.mantic
new file mode 100644
index 0000000..0c39edf
--- /dev/null
+++ b/v6.13/Dockerfile.ubuntu.mantic
@@ -0,0 +1,104 @@
+ARG TARGETPLATFORM=linux/amd64
+FROM --platform=$TARGETPLATFORM ubuntu:23.10
+
+ARG DEBIAN_FRONTEND=noninteractive
+
+# Use /bin/bash to use pushd/popd
+SHELL ["/bin/bash", "-c"]
+
+# Update apt-get
+RUN apt-get update -qq
+
+# ==============================================================================
+# Build tools
+# ==============================================================================
+RUN apt-get install -y --no-install-recommends \
+    build-essential \
+    clang \
+    clang-format-12 \
+    cmake \
+    curl \
+    doxygen \
+    git \
+    lcov \
+    lsb-release \
+    pkg-config \
+    software-properties-common \
+    valgrind
+
+# ==============================================================================
+# DART required dependencies
+# ==============================================================================
+RUN apt-get install -y --no-install-recommends \
+    libassimp-dev \
+    libccd-dev \
+    libeigen3-dev \
+    libfcl-dev \
+    libfmt-dev
+
+# ==============================================================================
+# DART optional dependencies
+# ==============================================================================
+
+RUN apt-get install -y --no-install-recommends \
+    coinor-libipopt-dev \
+    freeglut3-dev \
+    libxi-dev \
+    libxmu-dev \
+    libbullet-dev \
+    liblz4-dev \
+    libflann-dev \
+    libtinyxml2-dev \
+    liburdfdom-dev \
+    liburdfdom-headers-dev \
+    libopenscenegraph-dev \
+    libnlopt-cxx-dev \
+    liboctomap-dev \
+    libode-dev \
+    libimgui-dev \
+    libspdlog-dev
+
+# pagmo2
+RUN apt-get install -y --no-install-recommends \
+    coinor-libipopt-dev \
+    libboost-serialization-dev \
+    libeigen3-dev \
+    libnlopt-cxx-dev \
+    libtbb-dev
+RUN git clone https://github.com/esa/pagmo2.git -b 'v2.17.0' --single-branch --depth 1 \
+    && mkdir pagmo2/build \
+    && pushd pagmo2/build \
+    && cmake .. \
+    -DCMAKE_BUILD_TYPE=Release \
+    -DPAGMO_WITH_EIGEN3=ON \
+    -DPAGMO_WITH_NLOPT=OFF \
+    -DPAGMO_WITH_IPOPT=ON \
+    -DPAGMO_BUILD_TESTS=OFF \
+    -DPAGMO_BUILD_BENCHMARKS=OFF \
+    -DPAGMO_BUILD_TUTORIALS=OFF \
+    && make -j$(nproc) \
+    && make install \
+    && popd \
+    && rm -rf pagmo2
+
+# ==============================================================================
+# Python binding dependencies
+# ==============================================================================
+
+RUN apt-get install -y --no-install-recommends \
+    libpython3-dev \
+    pybind11-dev \
+    python3 \
+    python3-dev \
+    python3-distutils \
+    python3-numpy \
+    python3-pip \
+    python3-setuptools
+
+RUN pip3 install pytest -U
+
+# ==============================================================================
+# Clean up
+# ==============================================================================
+
+RUN rm -rf /var/lib/apt/lists/*