diff options
author | Jonsba <jonasb@tranquille.ch> | 2016-06-28 04:26:18 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2016-06-28 04:26:18 +0200 |
commit | 2ea6a59083a16e3093116101bc574fce623ff344 (patch) | |
tree | 79c94a95baf39f690cbd56f513d695c981ce6e1d /src/grt/grt-options.ads | |
parent | dc8680d3b002df5dbc2c92e86b133803a9e68a39 (diff) | |
download | ghdl-2ea6a59083a16e3093116101bc574fce623ff344.tar.gz ghdl-2ea6a59083a16e3093116101bc574fce623ff344.tar.bz2 ghdl-2ea6a59083a16e3093116101bc574fce623ff344.zip |
Jonsba/master (#100)
* Add a --unbuffered option for simulation. It disables buffering for stdout, stderr and files opened in write or append mode (TEXTIO).
Fixes #87
* Some simplifications made on the previous commit. Documentation added for --unbuffered in Simulation_and_runtime.rst.
* Some more simplifications on unbuffered writes support for TEXTIO
* Fix a style issue failure reported by Travis-CI
Diffstat (limited to 'src/grt/grt-options.ads')
-rw-r--r-- | src/grt/grt-options.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads index 7233232d8..bd3721921 100644 --- a/src/grt/grt-options.ads +++ b/src/grt/grt-options.ads @@ -140,6 +140,10 @@ package Grt.Options is -- CPUs. Nbr_Threads : Natural := 1; + -- If true, writes are made without buffering on a file opened in write_mode + -- or append_mode (TEXTIO) + Unbuffered_Writes : Boolean := False; + -- Set the time resolution. -- Only call this subprogram if you are allowed to set the time resolution. procedure Set_Time_Resolution (Res : Character); |