chiark / gitweb /
use plag-mangler not plag-mangle
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 9 Mar 2019 21:45:20 +0000 (21:45 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 9 Mar 2019 21:45:20 +0000 (21:45 +0000)
Makefile
find-plag
generate-plag

index a121111679f25fa7c7f13a455a9a2b0e1ba6f6aa..e79351262432c796a60dcfe203b4650a4779a2f8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ export PERL_HASH_SEED=1
 
 # PLAG_DEBUG   ?= $(PLAG)     # effectively
 # PLAG_RELEASE ?= $(PLAG)     # ie caller may set these
-PLAG_DIR     ?= ../plag-mangle
+PLAG_DIR     ?= ../plag-mangler
 
 USE_PLAG_DEBUG   := $(shell ./find-plag \
  debug:release "$(PLAG_DIR)" "$(PLAG_DEBUG)" "$(PLAG_RELEASE)" "$(PLAG)")
index 9ec851e93222e560c4f12fa0c3a6da6fc9d1e359..41fe6b208ee9c230948480ad286fcd952da99f7e 100755 (executable)
--- a/find-plag
+++ b/find-plag
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 
-cmd=plag-mangle
+cmd=plag-mangler
 
 want="$1"; shift
 dir="$1"; shift
@@ -31,5 +31,5 @@ for which in ${want//\:/ }; do
 done
 
 printf >&2 ' no!\n'
-echo missing-plag-mangle-utility
+echo missing-plag-mangler-utility
 exit 16
index a77cbe0a13d677374e33322e6bfb9c24702bbd95..1868acf4ed17e989d8fc52393b8dc1913d21a3e9 100755 (executable)
@@ -16,7 +16,7 @@ sub output_planar_graph () {
       o(" ", plag_prs($adj->{Name}), "\n");
     }
   }
-  # RUST_BACKTRACE=1 target/release/plag-mangle <../pandemic-rising-tide/map.plag R DUAL OUTER-F2V OUTER-SPLIT B T OUTER-F2V OUTER-F12VA PCO CP RAE PRINT-VI-NAMES NLOPT WG t.dot | qtdebug/vtrace
+  # RUST_BACKTRACE=1 target/release/plag-mangler <../pandemic-rising-tide/map.plag R DUAL OUTER-F2V OUTER-SPLIT B T OUTER-F2V OUTER-F12VA PCO CP RAE PRINT-VI-NAMES NLOPT WG t.dot | qtdebug/vtrace
 
 }