--- apps/polytope/rules/latte.rules.orig 2018-02-16 03:27:51.000000000 -0700
+++ apps/polytope/rules/latte.rules 2018-04-15 14:44:53.015053208 -0600
@@ -23,7 +23,7 @@ CREDIT latte
custom $latte_count;
CONFIGURE {
- find_program($latte_count, "count", { prompt => "the program `count' from the LattE package" });
+ find_program($latte_count, "latte-count", { prompt => "the program `count' from the LattE package" });
}
# additional parameters for calling LattE's "count". See the manual of LattE for details, recommended options are