#!/usr/bin/bash

PREFIX=/home/jim/local

export LD_LIBRARY_PATH=$PREFIX/lib:$PREFIX/usr/lib:${LD_LIBRARY_PATH}

$PREFIX/usr/bin/secilc -M 1 -o alias.bin alias.cil
$PREFIX/usr/bin/checkpolicy -C -M -b -o alias.bin.cil alias.bin
$PREFIX/usr/bin/secilc -M 1 -o alias.bin.cil.bin alias.bin.cil
DR=`diff alias.bin alias.bin.cil.bin | wc -l`
if [ $DR != 0 ]
then
echo "alias.bin and alias.bin.cil.bin are different"
fi

