Merge pull request #60 from wekesa360/add-pyre-type-checker

Add pyre type checker
facebookexperimental · Oct 6, 2023 · 1495f12 · 1495f12
2 parents c2bb54a + 909adb1
commit 1495f12
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/projects/pyre/README b/projects/pyre/README
@@ -0,0 +1,2 @@
+pyre-check
+Home page: https://pyre-check.org/
diff --git a/projects/pyre/build.mk b/projects/pyre/build.mk
@@ -0,0 +1,10 @@
+# Copyright (c) Meta Platforms, Inc. and affiliates.
+
+PYRE_CHECK_DONE := build/host/pyre-check.done
+
+pyre-host: $(PYRE_CHECK_DONE)
+
+$(PYRE_CHECK_DONE): python-host
+	$(HOST_OUT_DIR)/bin/python3 -m pip install pyre-check
+	mkdir -p build/host
+	touch $@