diff options
author | Tristan Gingold <tgingold@free.fr> | 2018-11-28 20:11:10 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2018-11-28 20:11:10 +0100 |
commit | 0c0a05aecfab3ef42592166881cb5a253ea14709 (patch) | |
tree | daf95696415484789c9500c4eebf12971e0e21e8 /src/logging.ads | |
parent | d6556ba57fb0a340ab23197fbc5c6bf0b0b46b3b (diff) | |
download | ghdl-0c0a05aecfab3ef42592166881cb5a253ea14709.tar.gz ghdl-0c0a05aecfab3ef42592166881cb5a253ea14709.tar.bz2 ghdl-0c0a05aecfab3ef42592166881cb5a253ea14709.zip |
Add logging and use it in files_map.
Diffstat (limited to 'src/logging.ads')
-rw-r--r-- | src/logging.ads | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/logging.ads b/src/logging.ads new file mode 100644 index 000000000..faf802193 --- /dev/null +++ b/src/logging.ads @@ -0,0 +1,22 @@ +-- Very simple logging package. +-- Copyright (C) 2018 Tristan Gingold +-- +-- GHDL 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 2, or (at your option) any later +-- version. +-- +-- GHDL 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 GHDL; see the file COPYING. If not, write to the Free +-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA +-- 02111-1307, USA. + +package Logging is + procedure Log (S : String); + procedure Log_Line (S : String := ""); +end Logging; |