build-asst0.php

<?
$name = posix_getpwuid(posix_geteuid());
$dir = $name['dir']; // home directory

$assignment='ASST0';

/////////////////////
// Change source_tree to the top of the OS/161 source code
//  default: ~/os161/os161-1.11
////////////////////
$source_tree = $dir.'/os161/os161-1.11';

////////////////////
// Change compiled_directory to the location in which you want your binaries compiled
//  default: ~/os161/root
///////////////////
$compiled_directory = $dir.'/os161/root';

if (!file_exists($source_tree)) {
	print "$source_tree does not exist.\n";
	die();
}

$path = shell_exec('echo $PATH');
if (!preg_match(':/usr/local/sys161:', $path)) {
	print "PATH environment variable is not properly set.\n";
	print "PATH must include /usr/local/sys161 and /usr/local/sys161/bin\n";
	print " Please edit your ~/.bash_profile to change PATH.\n";
	exit;
}


print "Attempting to configure ...";
chdir($source_tree);
print shell_exec('./configure --ostree='.$compiled_directory);
chdir($source_tree.'/kern/conf');
print shell_exec('./config '.$assignment);
chdir($source_tree.'/kern/compile/'.$assignment);
print "Attempting to compile...";

print shell_exec('make depend');
print shell_exec('make');
print shell_exec('make install');

shell_exec('cp /usr/local/sys161/sys161.conf.sample '.$compiled_directory.'/sys161.conf');




?>