[flake] enable php extensions

jetify-com · Feb 15, 2023 · cd1d62c · cd1d62c
1 parent 1aa41bc
commit cd1d62c
Show file tree

Hide file tree

Showing 3 changed files with 47 additions and 0 deletions.
diff --git a/examples/testdata/php/php-extensions/devbox.d/php81/php-fpm.conf b/examples/testdata/php/php-extensions/devbox.d/php81/php-fpm.conf
@@ -0,0 +1,17 @@
+[global]
+pid = ${PHPFPM_PID_FILE}
+error_log = ${PHPFPM_ERROR_LOG_FILE}
+daemonize = yes
+
+[www]
+; user = www-data
+; group = www-data
+listen = 127.0.0.1:${PHPFPM_PORT}
+; listen.owner = www-data
+; listen.group = www-data
+pm = dynamic
+pm.max_children = 5
+pm.start_servers = 2
+pm.min_spare_servers = 1
+pm.max_spare_servers = 3
+chdir = /
diff --git a/examples/testdata/php/php-extensions/devbox.json b/examples/testdata/php/php-extensions/devbox.json
@@ -0,0 +1,13 @@
+{
+  "packages": [
+    "php81",
+    "php81Packages.composer",
+    "php81Extensions.ds"
+  ],
+  "shell": {
+    "init_hook": null
+  },
+  "nixpkgs": {
+    "commit": "f80ac848e3d6f0c12c52758c0f25c10c97ca3b62"
+  }
+}
diff --git a/examples/testdata/php/php-extensions/index.php b/examples/testdata/php/php-extensions/index.php
@@ -0,0 +1,17 @@
+<?php
+
+// Check that the extension is loaded.
+if (!extension_loaded('ds')) {
+    echo("ds extension is not enabled\n");
+    exit(1);
+}
+
+// use Ds\Vector;
+
+$vec = new \Ds\Vector(["hello", "world"]);
+
+echo("Original vector elements\n");
+foreach ($vec as $idx => $elem) {
+  echo("idx: $idx and elem: $elem\n");
+}
+echo("done\n");