From 96c29ecf8892c2effbdf31847718919479615ed0 Mon Sep 17 00:00:00 2001 From: "Michael A. Wekesa" Date: Wed, 27 Sep 2023 20:09:40 +0300 Subject: [PATCH 1/4] add pyre makefile --- projects/pyre/README | 0 projects/pyre/build.mk | 6 ++++++ 2 files changed, 6 insertions(+) create mode 100644 projects/pyre/README create mode 100644 projects/pyre/build.mk diff --git a/projects/pyre/README b/projects/pyre/README new file mode 100644 index 0000000..e69de29 diff --git a/projects/pyre/build.mk b/projects/pyre/build.mk new file mode 100644 index 0000000..5140688 --- /dev/null +++ b/projects/pyre/build.mk @@ -0,0 +1,6 @@ +PYRE_HOST_DEPS = python +$(eval $(call project-define,pyre)) + + +projects/pyre/sources: + $(HOST_OUT_DIR)/bin/python3 -m pip install pyre-check From e08e0cd2aa3f08a70ae9d3749c38c9eb2997ec2a Mon Sep 17 00:00:00 2001 From: "Michael A. Wekesa" Date: Wed, 4 Oct 2023 22:20:08 +0300 Subject: [PATCH 2/4] update makefile --- projects/pyre/build.mk | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/projects/pyre/build.mk b/projects/pyre/build.mk index 5140688..292fc86 100644 --- a/projects/pyre/build.mk +++ b/projects/pyre/build.mk @@ -1,6 +1,9 @@ -PYRE_HOST_DEPS = python -$(eval $(call project-define,pyre)) +PYRE_CHECK_DONE := build/host/pyre-check.done +pyre-host: $(PYRE_CHECK_DONE) -projects/pyre/sources: +$(PYRE_CHECK_DONE): python-host $(HOST_OUT_DIR)/bin/python3 -m pip install pyre-check + mkdir -p build/host + touch $@ + From bb5c72d1541146ae09002b2a8d2bf8532b22083e Mon Sep 17 00:00:00 2001 From: "Michael A. Wekesa" Date: Wed, 4 Oct 2023 22:25:29 +0300 Subject: [PATCH 3/4] update readme --- projects/pyre/README | 3 +++ 1 file changed, 3 insertions(+) diff --git a/projects/pyre/README b/projects/pyre/README index e69de29..2d200d5 100644 --- a/projects/pyre/README +++ b/projects/pyre/README @@ -0,0 +1,3 @@ +pyre-check +Home page: https://pyre-check.org/ + From 909adb10979f84bdc54b30e8dec7ec823381d9e4 Mon Sep 17 00:00:00 2001 From: "Michael A. Wekesa" Date: Thu, 5 Oct 2023 16:08:53 +0300 Subject: [PATCH 4/4] add copyright header --- projects/pyre/README | 1 - projects/pyre/build.mk | 3 ++- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/projects/pyre/README b/projects/pyre/README index 2d200d5..3abe58b 100644 --- a/projects/pyre/README +++ b/projects/pyre/README @@ -1,3 +1,2 @@ pyre-check Home page: https://pyre-check.org/ - diff --git a/projects/pyre/build.mk b/projects/pyre/build.mk index 292fc86..e7f4c56 100644 --- a/projects/pyre/build.mk +++ b/projects/pyre/build.mk @@ -1,3 +1,5 @@ +# Copyright (c) Meta Platforms, Inc. and affiliates. + PYRE_CHECK_DONE := build/host/pyre-check.done pyre-host: $(PYRE_CHECK_DONE) @@ -6,4 +8,3 @@ $(PYRE_CHECK_DONE): python-host $(HOST_OUT_DIR)/bin/python3 -m pip install pyre-check mkdir -p build/host touch $@ -