# Last edited on 2023-02-21 22:43:26 by stolfi
# Convertion of sample SAGRE maps to loctel format

MAPS := \
  ExpDat-1 \
  ExpDat-2 \
  ExpDat-3

DATFILES := ${addprefix dat/, ${addsuffix .dat, ${MAPS}}}
OPTFILES := ${addprefix opt/, ${addsuffix .opt, ${MAPS}}}
RNTFILES := ${addsuffix .rnt, ${MAPS}}

all: ${RNTFILES}

%.rnt: dat/%.dat convert-sagre-dat.gawk
	echo 'dat/$*.dat -> $*.rnt'
	cat dat/$*.dat \
	  | nice convert-sagre-dat.gawk \
	      `cat opt/$*.opt` \
	      -v maxstep=20 \
	  > $*.rnt
	echo ' done.'