diff --git a/projects/pyre/README b/projects/pyre/README new file mode 100644 index 0000000..3abe58b --- /dev/null +++ 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 new file mode 100644 index 0000000..e7f4c56 --- /dev/null +++ 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 $@