Fix Gitpod configuration

apache · Oct 8, 2023 · 04d4564 · 04d4564
1 parent afefe88
commit 04d4564
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 16 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -16,9 +16,10 @@
 # specific language governing permissions and limitations
 # under the License.
 
-vscode:
-  extensions:
-    - [email protected]:QI2POGDzx7mhyCmZyf/3vg==
+tasks:
+  - init: |
+      mkdir -p cmake-build-debug
+      cd cmake-build-debug && cmake -DCMAKE_BUILD_TYPE=Debug -DENABLE_TESTING=ON -DENABLE_ADDRESS_SANITIZER=ON -DBUILD_EXPERIMENTAL=ON .. && make -j
 
 image:
   file: container/Containerfile.gitpod
diff --git a/.theia/settings.json b/.theia/settings.json