#!/bin/bash

# Make the rg64 binary
cd ../../src
rm -f rg64 DwStr.o
$COMPILER $FLAGS -DSTANDALONE -c -o DwStr.o DwStr.c
$COMPILER $FLAGS -o rg64 -DHAVE_MAIN -DRG64 DwRadioGatun.c DwStr.o

# Copy the rg32 binary here
cp rg64 ~-

# Clean up
rm rg64 DwStr.o
make clean > /dev/null 2>&1

# OK, come back here to run the test
cd ~-

# The test
cat Input | awk '
	{print "./rg64 '\''" $0 "'\'' | \\"; 
	 print "awk '\''{$17=$18=$19=$20=\"\" ; print $0}'\'' | tr -d \" \" "}
' | sh

# Clean up here
rm rg64