createLocalMakefile

#!/bin/bash

filename=`ls -t *.symb | grep -m1 "."`
if [ -n "$filename" ]
then
  filename=`basename $filename .symb`

  echo -e "SHELL := /bin/bash" > perso.mk
  echo -e "" >> perso.mk
  echo -e ".PHONY: clean mrproper" >> perso.mk
  echo -e "" >> perso.mk
  echo -e "all:$filename.res" >> perso.mk
  echo -e "" >> perso.mk
  echo -e "$filename.script: $filename.symb ../experiment.var" >> perso.mk
  echo -e "\tlpreprocess.sh ./$filename.symb ../experiment.var ./$filename.script" >> perso.mk
  echo -e "" >> perso.mk
  echo -e "$filename.res: $filename.script" >> perso.mk
  echo -e "\techo -e \"2713\" | cc_leto $filename.script $filename.res" >> perso.mk
  echo -e "" >> perso.mk
  echo -e "clean:" >> perso.mk
  echo -e "\trm -f $filename.res" >> perso.mk
  echo -e "" >> perso.mk
  echo -e "mrproper: clean" >> perso.mk
  echo -e "\trm -f $filename.script" >> perso.mk
  echo -e "\trm -f $filename.script_o" >> perso.mk

  else
  filename=`ls -t *.script | grep -m1 "."`
  if [ -n "$filename" ]
  then
    filename=`basename $filename .script`

    echo -e "SHELL := /bin/bash" > perso.mk
    echo -e "" >> perso.mk
    echo -e ".PHONY: clean mrproper" >> perso.mk
    echo -e "" >> perso.mk
    echo -e "all:$filename.res" >> perso.mk
    echo -e "" >> perso.mk
    echo -e "$filename.res: $filename.script" >> perso.mk
    echo -e "\techo -e \"2713\" | cc_leto $filename.script $filename.res" >> perso.mk
    echo -e "" >> perso.mk
    echo -e "clean:" >> perso.mk
    echo -e "\trm -f $filename.res" >> perso.mk
    echo -e "" >> perso.mk
    echo -e "mrproper: clean" >> perso.mk
    echo -e "\trm -f $filename.script_o" >> perso.mk

  else
    echo -e "no .symb or .script file found in this directory"
  fi
fi

Download