Fix for using POSIX basename

This commit is contained in:
Eddie Hung 2019-02-19 09:02:37 -08:00
parent 8e1dbfac3a
commit 843e7fc8a7
1 changed files with 4 additions and 2 deletions

View File

@ -22,7 +22,7 @@
// Armin Biere. The AIGER And-Inverter Graph (AIG) Format Version 20071012. Technical Report 07/1, October 2011, FMV Reports Series, Institute for Formal Models and Verification, Johannes Kepler University, Altenbergerstr. 69, 4040 Linz, Austria. // Armin Biere. The AIGER And-Inverter Graph (AIG) Format Version 20071012. Technical Report 07/1, October 2011, FMV Reports Series, Institute for Formal Models and Verification, Johannes Kepler University, Altenbergerstr. 69, 4040 Linz, Austria.
// http://fmv.jku.at/papers/Biere-FMV-TR-07-1.pdf // http://fmv.jku.at/papers/Biere-FMV-TR-07-1.pdf
#ifdef __linux__ #ifndef _WIN32
#include <libgen.h> #include <libgen.h>
#endif #endif
#include <array> #include <array>
@ -400,7 +400,9 @@ struct AigerFrontend : public Frontend {
#ifdef _WIN32 #ifdef _WIN32
module_name = "top"; // FIXME: basename equivalent on Win32? module_name = "top"; // FIXME: basename equivalent on Win32?
#else #else
module_name = RTLIL::escape_id(basename(filename.c_str())); char* bn = strdup(filename.c_str());
module_name = RTLIL::escape_id(bn);
free(bn);
#endif #endif
} }