#! /usr/bin/gawk -f
# Last edited on 2019-03-15 20:36:25 by stolfilocal

BEGIN {
    USAGE = ( ARGV[1] " -v labdir=\"{LABDIR}\" {LABS_INFO_FILE}" )
}

/^ *([#]|$)/ { next; }

/tp[0-9][0-9]/ { 
  tp = $1;
  date = $2;
  type = $3;
  title = $4; gsub(/[_]/, " ", title);
  
  if (labdir == tp) {
    # Create the proper Makefile.  Asks user if there is one already.
    srcmakefile = ( type == "S" ? "STATIC.make" : "MOVIE.make" );
    dstmakefile = ( tp "/Makefile" );
    stcp = system(( "if [[ ! ( -s " dstmakefile " ) ]]; then cp -avi " srcmakefile " " dstmakefile "; fi" ));
    if (stcp != 0) { 
      printf "** cp failed? status = %d\n", stcp > "/dev/stderr";
    }

    # Create the "title.txt" file.
    stcp = system(( "echo '" title "' > " tp "/title.txt" ));
    if (stcp != 0) { 
      printf "** title.txt creation failed? status = %d\n", stcp > "/dev/stderr";
    } else {
      printf "title.txt set to '%s'\n", title > "/dev/stderr";
    }

    # Create the "date.txt" file.
    stcp = system(( "echo '" date "' > " tp "/date.txt" ));
    if (stcp != 0) { 
      printf "** date.txt creation failed? status = %d\n", stcp > "/dev/stderr";
    } else {
      printf "date.txt set to '%s'\n", date > "/dev/stderr";
    }
  }
  next;
}

// {
  printf "** bad line in labs info file\n" > "/dev/stderr";
  exit(1);
}