--- a/makefile	Fri May 13 01:11:36 2022 -0700
+++ b/makefile	Fri May 13 14:56:08 2022 -0700
@@ -38,10 +38,15 @@
 pnpm:
 	# holding pnpm back because we don't have the latest nodejs: https://pnpm.io/installation#compatibility
 	sudo npm install -g pnpm@6.32.12
-	
+
 bin/node:
 	ln -sf `which nodejs` bin/node
 
+pdm_local_install:
+	# drew has ~/bin in $PATH
+	pip install pdm
+	ln -s ../.local/bin/pdm ~/bin
+
 js:
 	pnpm install --reporter append-only