1  /* Functions used by the Windows port of libgccjit.
       2     Copyright (C) 2020-2023 Free Software Foundation, Inc.
       3     Contributed by Nicolas Bertolo <nicolasbertolo@gmail.com>.
       4  
       5  This file is part of GCC.
       6  
       7  GCC is free software; you can redistribute it and/or modify it
       8  under the terms of the GNU General Public License as published by
       9  the Free Software Foundation; either version 3, or (at your option)
      10  any later version.
      11  
      12  GCC is distributed in the hope that it will be useful, but
      13  WITHOUT ANY WARRANTY; without even the implied warranty of
      14  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      15  General Public License for more details.
      16  
      17  You should have received a copy of the GNU General Public License
      18  along with GCC; see the file COPYING3.  If not see
      19  <http://www.gnu.org/licenses/>.  */
      20  
      21  #include "config.h"
      22  
      23  #define WIN32_LEAN_AND_MEAN
      24  #include <windows.h>
      25  
      26  namespace gcc {
      27  namespace jit {
      28  extern void print_last_error (void);
      29  extern char * win_mkdtemp(void);
      30  }
      31  }