#!/bin/sh
# the next line is not read by tcl \
TCLBINARY=tclsh; source `dirname $0`/configuration
# the next line restarts using tclsh \
exec $TCLBINARY "$0" "$@"

if { ![file readable [lindex $argv 0]] } {
    puts "Can't read file \"[lindex $argv 0]\""
    exit 1
}
if { ![file readable [lindex $argv 1]] } {
    puts "Can't read file \"[lindex $argv 1]\""
    exit 1
}

set nameOfThisScript [file normalize $argv0]
set homeOfThisScript [file dirname $nameOfThisScript]
source [file join $homeOfThisScript opetopes.tcl]

if { [llength $argv] != 2 } {
    puts "Wrong number of arguments.  Usage: \"[file tail $argv0] XMLFILE0 XMLFILE1\""
    exit 1
}

puts [areIsomorphic [lindex $argv 0] [lindex $argv 1]]


