Add basic local development scripts

php-ds · Dec 18, 2023 · bd669d0 · bd669d0
1 parent 6165afa
commit bd669d0
Show file tree

Hide file tree

Showing 5 changed files with 18 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 *.
+*.dep
 *.ac
 *.gcda
 *.gcno

diff --git a/Dockerfile b/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
diff --git a/dev.sh b/dev.sh
@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+docker-compose run --rm --build --interactive --tty dev /bin/sh
diff --git a/docker-compose.yml b/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"
diff --git a/ext-ds.ini b/ext-ds.ini
@@ -0,0 +1 @@
+extension=ds.so