]> gitweb.factorcode.org Git - factor.git/commitdiff
build-from-source.windows: add build-ripgrep
authorDoug Coleman <doug.coleman@gmail.com>
Sun, 7 May 2023 03:12:31 +0000 (22:12 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Sun, 7 May 2023 03:12:31 +0000 (22:12 -0500)
extra/build-from-source/windows/windows.factor

index 0b1dbcfa735a77eb7753b9e9e6356d8233fa72d5..7025f5b4e1dd1a5f87773fde4bef12f0ba0af269 100644 (file)
@@ -240,6 +240,12 @@ IN: build-from-source.windows
         "raygui.dll" copy-output-file
     ] with-updated-github-repo ;
 
+: build-ripgrep ( -- )
+    "BurntSushi" "ripgrep" [
+        qw{ cargo build --release } try-process
+        "target/release/rg.exe" copy-output-file
+    ] with-updated-github-repo ;
+
 : build-snappy-dll ( -- )
     "google" "snappy" [
         [