Add basic local development scripts

Author: Rudi Theunissen

.gitignore

@@ -1,4 +1,5 @@
 *.
+*.dep
 *.ac
 *.gcda
 *.gcno

Dockerfile

@@ -0,0 +1,5 @@
+FROM php:8.3-alpine
+
+RUN apk add --no-cache $PHPIZE_DEPS valgrind
+
+COPY --from=composer:latest /usr/bin/composer /usr/local/bin/composer

dev.sh

@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+docker-compose run --rm --build --interactive --tty dev /bin/sh

docker-compose.yml

@@ -0,0 +1,8 @@
+services:
+  dev:
+    build:
+      context: "."
+    volumes:
+      - ".:/ext-ds"
+      - "./ext-ds.ini:/usr/local/etc/php/conf.d/ext-ds.ini"
+    working_dir: "/ext-ds"

ext-ds.ini

@@ -0,0 +1 @@
+extension=ds.so