/*

  $Id$

  Copyright 1989-2016 MINES ParisTech

  This file is part of PIPS.

  PIPS is free software: you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  any later version.

  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
  WARRANTY; without even the implied warranty of MERCHANTABILITY or
  FITNESS FOR A PARTICULAR PURPOSE.

  See the GNU General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with PIPS.  If not, see <http://www.gnu.org/licenses/>.

*/

// do not compile unless required
#include "phases.h"
#ifdef BUILDER_STF

#ifdef HAVE_CONFIG_H
    #include "pips_config.h"
#endif
/*
 * STF()
 *
 * Guillaume Oget
 */
#include <stdlib.h> // mkstemp, system
#include <unistd.h> // unlink
#include <stdio.h>
#include <string.h>

#include "genC.h"
#include "linear.h"

#include "misc.h"
#include "pipsdbm.h"

#include "ri.h"
#include "ri-util.h"

/* Top-level functions
 */

bool stf(const string mod_name)
{

#define MAX__LENGTH 256

    char tmpfile[MAX__LENGTH];
    char outline[MAX__LENGTH];
    FILE *ftmp;
    int status;
    string wdn = db_get_current_workspace_directory();

    debug_on("STF_DEBUG_LEVEL");

    strncpy (tmpfile,".stf-workspace-outputXXXXXX", MAX__LENGTH - 1);
    int fd = mkstemp (tmpfile);
    if (fd == -1)
      pips_internal_error("unable to make a temporary file");
    pips_debug (9, "temporary filename for output %s\n", tmpfile);

    status = safe_system_no_abort(concatenate
				  ("stf-module ",
				   wdn,
				   "/",
				   db_get_memory_resource(DBR_SOURCE_FILE, mod_name, true),
				   " > ",
				   tmpfile,
				   " 2>&1 ",
				   NULL));

    debug (9,"stf","status=%d\n",status);

    /* Print log info if any */
    if ((ftmp = fopen (tmpfile,"r")) != NULL)
    {
	while (!feof (ftmp))
	{
	    if (fgets(outline, MAX__LENGTH, ftmp))
		user_log ("[stf-log] %s", outline);
	    else
		break;
	}
	fclose (ftmp);
	unlink (tmpfile);
    }
    else
	user_warning ("stf","No ouput from command\n");

    if (!status) {
	debug (1,"stf", "ok for module %s\n", mod_name);
	/* Why did GO use a touch instead of a put? */
	if(!db_update_time (DBR_SOURCE_FILE, mod_name))
	    user_error ("stf",
			"Cannot find new source file for module %s\n",
			mod_name);
    }
    else if (status == 2)
	user_error ("stf",
		    "should clean up with toolpack command for module %s\n",
		    mod_name);
    else
	user_error ("stf",
		    "failed for module %s\n",
		    mod_name);

    debug_off ();

    free(wdn);

    return true;
}

#endif // BUILDER_STF