From 86828cc6d6a3920b5b8a1ce23b68dd93ba64094e Mon Sep 17 00:00:00 2001 From: TApplencourt Date: Mon, 14 Dec 2015 08:17:55 +0100 Subject: [PATCH] Add bats --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index d6c9fffe..092c69e4 100755 --- a/configure +++ b/configure @@ -158,7 +158,7 @@ d_info = dict() for m in ["ocaml", "m4", "curl", "zlib", "patch", "irpf90", "docopt", "resultsFile", "ninja", "emsl", "ezfio", "p_graphviz", - "zeromq", "f77zmq" ]: + "zeromq", "f77zmq","bats" ]: exec ("d_info['{0}']={0}".format(m))