chiark / gitweb /
cope with name change of plag-mangle from planar-graph
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 21:02:58 +0000 (21:02 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 21:02:58 +0000 (21:02 +0000)
Makefile
find-plag
generate-plag

index ee8052ab7e58e454d59349bff316473a232c379d..fef7280deb9bccf048ea95864197ca1ba41da0bf 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,14 +6,14 @@ export PERL_HASH_SEED=1
 
 # PLAG_DEBUG   ?= $(PLAG)     # effectively
 # PLAG_RELEASE ?= $(PLAG)     # ie caller may set these
-PLAG_DIR     ?= ../planar-graph
+PLAG_DIR     ?= ../plag-mangle
 
 USE_PLAG_DEBUG   := $(shell ./find-plag \
  debug:release "$(PLAG_DIR)" "$(PLAG_DEBUG)" "$(PLAG_RELEASE)" "$(PLAG)")
 USE_PLAG_RELEASE := $(shell ./find-plag \
  release:debug "$(PLAG_DIR)" "$(PLAG_RELEASE)" "$(PLAG_DEBUG)" "$(PLAG)")
 
-# with planar-graph 74bbc2b1da372d3456c00bcb07f3358c739e5721
+# works with plag-mangle 16446a44d3f1f467765879492fa85a01222f8052
 
 default: all
 
index 45b97738f7cb24c952b49d48d406a6b71ac362f7..9ec851e93222e560c4f12fa0c3a6da6fc9d1e359 100755 (executable)
--- a/find-plag
+++ b/find-plag
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 
-cmd=planar-graph
+cmd=plag-mangle
 
 want="$1"; shift
 dir="$1"; shift
@@ -31,5 +31,5 @@ for which in ${want//\:/ }; do
 done
 
 printf >&2 ' no!\n'
-echo missing-planar-graph-utility
+echo missing-plag-mangle-utility
 exit 16
index 72986e9d5584602b0f43dc5138acdfd4325f416d..a77cbe0a13d677374e33322e6bfb9c24702bbd95 100755 (executable)
@@ -16,7 +16,7 @@ sub output_planar_graph () {
       o(" ", plag_prs($adj->{Name}), "\n");
     }
   }
-  # RUST_BACKBACE=1 target/release/planar-graph <../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-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
 
 }