#!/bin/bash
set -e
for file in dry-*.out
do echo '#'$file
    perl /mit/ghc/src/random/pkgconfig-phase1.pl $file
done > apkgconfig
set -x
perl /mit/ghc/src/random/pkgconfig-phase2.pl . < apkgconfig > apkgconfig-apt.sh
bash apkgconfig-apt.sh
find . -name 'pc*.out' | perl /mit/ghc/src/random/pkgconfig-phase3.pl