From 7b7e1b254b8fb699a2844dfa337d77c17c346294 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 3 Mar 2022 18:01:11 +0100
Subject: [PATCH] tests: avoid seq

Partial fix for #501.

* tests/core/prodchain.test: Hardcode the seq output.
* tests/core/bricks.test: Use $AWK instead of seq.
* tests/core/defs.in: Define $AWK.
* NEWS: Mention the bug.
---
 NEWS                      |  3 +++
 tests/core/bricks.test    | 11 ++++++-----
 tests/core/defs.in        |  3 ++-
 tests/core/prodchain.test |  5 +++--
 4 files changed, 14 insertions(+), 8 deletions(-)

diff --git a/NEWS b/NEWS
index 5e7816b7b..89a1d52a2 100644
--- a/NEWS
+++ b/NEWS
@@ -74,6 +74,9 @@ New in spot 2.10.4.dev  (net yet released)
   - work around a portability issue in Flex 2.6.4 preventing
     compilation on OpenBSD.
 
+  - Do not use the seq command in test cases, it is not available
+    everywhere.
+
 New in spot 2.10.4  (2022-02-01)
 
   Bug fixed:
diff --git a/tests/core/bricks.test b/tests/core/bricks.test
index b98c7e856..37ff57cb0 100644
--- a/tests/core/bricks.test
+++ b/tests/core/bricks.test
@@ -1,7 +1,7 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2020 Laboratoire de Recherche et Développement de
-# l'Epita (LRDE).
+# Copyright (C) 2020, 2022 Laboratoire de Recherche et Développement
+# de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
 #
@@ -21,12 +21,13 @@
 . ./defs
 set -e
 
-seq 0 1999 > expected
+# The seq command is not always available, but we assume awk is.
+$AWK 'BEGIN{for(x=0;x<2000;++x) print x;}' >expected
 
 ../bricks > stdout
 
-cat stdout | head -n 2000 | awk '{print $2}' | sed 's/{//g' | \
-    awk -F',' '{print $1}' | sort -n > map
+cat stdout | head -n 2000 | $AWK '{print $2}' | sed 's/{//g' | \
+    $AWK -F',' '{print $1}' | sort -n > map
 
 diff expected map
 
diff --git a/tests/core/defs.in b/tests/core/defs.in
index 7df6fdf77..d06a3b67d 100644
--- a/tests/core/defs.in
+++ b/tests/core/defs.in
@@ -1,5 +1,5 @@
 # -*- mode: shell-script; coding: utf-8 -*-
-# Copyright (C) 2009, 2010, 2012, 2013, 2015 Laboratoire de Recherche
+# Copyright (C) 2009, 2010, 2012, 2013, 2015, 2022 Laboratoire de Recherche
 # et Développement de l'Epita (LRDE).
 # Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6),
 # département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -57,6 +57,7 @@ case $srcdir in
   *) srcdir=../$srcdir
 esac
 
+AWK='@AWK@'
 DOT='@DOT@'
 LBTT="@LBTT@"
 LBTT_TRANSLATE="@LBTT_TRANSLATE@"
diff --git a/tests/core/prodchain.test b/tests/core/prodchain.test
index b5037782f..0a7f1a1d9 100755
--- a/tests/core/prodchain.test
+++ b/tests/core/prodchain.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2018 Laboratoire de Recherche et Développement
+# Copyright (C) 2018, 2022 Laboratoire de Recherche et Développement
 # de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -23,7 +23,8 @@ set -e
 
 set x
 shift
-for i in `seq 1 42`; do
+for i in 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 \
+         22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42; do
   ltl2tgba "{a[*$i]}[]->GFb" > $i.hoa
 done
 for i in *.hoa; do