test('ghcilink001',
     extra_clean(['dir001/*','dir001']),
     run_command,
     ['$MAKE -s --no-print-directory ghcilink001'])

test('ghcilink002',
     extra_clean(['dir002/*','dir002']),
     run_command,
     ['$MAKE -s --no-print-directory ghcilink002'])

test('ghcilink003',
     [
       if_os('mingw32', expect_broken(5289)), # still cannot load libstdc++
                                              # on Windows.  See also #4468.
       extra_clean(['dir003/*','dir003'])
     ],
     run_command,
     ['$MAKE -s --no-print-directory ghcilink003'])

test('ghcilink004',
     extra_clean(['dir004/*','dir004']),
     run_command,
     ['$MAKE -s --no-print-directory ghcilink004'])

test('ghcilink005',
     extra_clean(['dir005/*','dir005']),
     run_command,
     ['$MAKE -s --no-print-directory ghcilink005'])

test('ghcilink006',
     [
       if_os('mingw32', expect_broken(5289)), # still cannot load libstdc++
                                              # on Windows.  See also #4468.
       extra_clean(['dir006/*','dir006'])
     ],
     run_command,
     ['$MAKE -s --no-print-directory ghcilink006'])
