## Copyright (C) 2012, SRI International.  All Rights Reserved.

## This program is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License
## as published by the Free Software Foundation; either version 2
## of the License, or (at your option) any later version.

## This program is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
## GNU General Public License for more details.


$path = "../examples/sldemo_househeat/eq/";
$subsystem_name = "sldemo_househeat";

#$path = "../examples/cruise_ctrl/eq/";
#$subsystem_name = "cruise_ctrl";

#$path = "../examples/sldemo_clutch/eq/";
#$subsystem_name = "sldemo_clutch_if";

#$path = "../examples/sldemo_engine/eq/";
#$subsystem_name = "sldemo_enginewc";

#$path = "../examples/prb/eq/";
#$subsystem_name = "hybrid_analysis_prb2";

#$path = "../examples/cd2d/eq/";
#$subsystem_name = "cd2d";


$command = "ocamlc str.cma unique.ml";
print "$command\n";
system($command);

$command = join("", "./a.out ", $path, " ", $subsystem_name);
print "$command\n";
system($command);

#print "\n";
#$command = join("", "grep -o Line ", $path, "../", $subsystem_name, ".mdl | wc -w");
#print "$command\n";
#print "Number of Lines:";
#system($command);
