CLooG 0.18.4
[cloog.git] / test / check_special.sh
blob7a98781173e0b620dc5da9134fb9c24e4be877c9
1 #!/bin/sh
3 # /**-------------------------------------------------------------------**
4 # ** CLooG **
5 # **-------------------------------------------------------------------**
6 # ** check_special.sh **
7 # **-------------------------------------------------------------------**
8 # ** First version: November 17th 2011 **
9 # **-------------------------------------------------------------------**/
12 #/*****************************************************************************
13 # * CLooG : the Chunky Loop Generator (experimental) *
14 # *****************************************************************************
15 # * *
16 # * Copyright (C) 2003 Cedric Bastoul *
17 # * *
18 # * This library is free software; you can redistribute it and/or *
19 # * modify it under the terms of the GNU Lesser General Public *
20 # * License as published by the Free Software Foundation; either *
21 # * version 2.1 of the License, or (at your option) any later version. *
22 # * *
23 # * This library is distributed in the hope that it will be useful, *
24 # * but WITHOUT ANY WARRANTY; without even the implied warranty of *
25 # * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
26 # * Lesser General Public License for more details. *
27 # * *
28 # * You should have received a copy of the GNU Lesser General Public *
29 # * License along with this library; if not, write to the Free Software *
30 # * Foundation, Inc., 51 Franklin Street, Fifth Floor, *
31 # * Boston, MA 02110-1301 USA *
32 # * *
33 # * CLooG, the Chunky Loop Generator *
34 # * Written by Cedric Bastoul, Cedric.Bastoul@inria.fr *
35 # * *
36 # *****************************************************************************/
38 # Refactor $SPECIAL_OPTIONS list to remove quotes and to replace spaces in
39 # individual tests with %, e.g., "'file1 -f -1' 'file2'" becomes
40 # "file1%-f%-1 file2".
41 special_refactored=`echo "$SPECIAL_OPTIONS" | \
42 sed "s/' '/#/g" | \
43 sed 's/ /%/g' | \
44 sed "s/#/ /g" | \
45 sed "s/'//g"`
47 $CHECKER "SPECIAL" "$special_refactored" "" "cloog" "c" "${1:-generate}"