#!/bin/csh # # $Id: make_ubin_dist,v 4.1 2000/12/11 09:54:19 cibrario Rel $ # # This script builds a user-level binary distribution for release # $argv[1]. The name of the binary distribution tar # includes $argv[1] as its last component. # # $argv[2] contains the make Makefile command if( $#argv < 1 ) then echo "make_ubin_dist: missing target release number" exit 1 endif if( $#argv < 2 ) then echo "make_ubin_dist: missing make Makefile command" exit 1 endif set rel = $argv[1] set src_tar = saturn_src_$rel.tar set ubin_tar = saturn_ubin_$rel.tar set special_flist = (sutil_48.lib sutil_49.lib) set bin_flist = (README.txt BUILD_INFO.txt saturn Saturn.ad saturn.cat run_saturn quick_start saturn.ps saturn.info pack) ./make_src_dist $rel if( $status != 0 && $status != 2 ) then echo "make_ubin_dist: make_src_dist failed" exit 2 endif mkdir tmp_ubin; cd tmp_ubin tar xvf ../$src_tar if( $status != 0 ) then echo "make_ubin_dist: source tar extract failed" exit 3 endif cat - > BUILD_INFO.txt <