Merge pull request #34 from niemasd/master

Create devcontainer.json
veg · Nov 17, 2023 · b5d0c55 · b5d0c55
2 parents 2afe794 + 3d8be03
commit b5d0c55
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 4 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,5 @@
+{
+  "build": {
+    "dockerfile": "../Dockerfile"
+  }
+}
diff --git a/Dockerfile b/Dockerfile
@@ -1,6 +1,10 @@
-# Docker image for tn93
-FROM ubuntu:20.04
+# Docker image for a tn93 development environment
+FROM oraclelinux:8
 
 # Set up environment and install dependencies
-RUN apt-get update && apt-get -y upgrade && \
-    DEBIAN_FRONTEND=noninteractive TZ=Etc/UTC apt-get install -y cmake g++ git make
+RUN yum -y update && \
+    yum install -y cmake gcc-c++ git make
+
+# To compile tn93 within the development environment:
+#   cmake .
+#   make