Searched refs:package_type (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD863 for package_type in standard runtime ; do
868 eval INSTALL_${n}_package=\"$package_type\"
872 eval INSTALL_all_${package_type}=$n
887 eval package_type=\"'${INSTALL_'$1'_package}'\"
889 install_dir="$ROTD_SUBDIR/$install_name/install.$package_type"
890 install_logfile="$LOG_DIR/log.$install_name.install.$package_type"
891 install_milestone_key="${install_name}_${package_type}"
920 echo \"Installing ($package_type) archives for $install_name in\" \
932 if [ \"$package_type\" = runtime ] ; then
948 if [ \"$package_type\"
[all...]

Completed in 31 milliseconds