Skip to content

Instantly share code, notes, and snippets.

View oenone's full-sized avatar

Julian Leyh oenone

View GitHub Profile
@oenone
oenone / keybase.md
Last active September 13, 2019 20:32

Keybase proof

I hereby claim:

  • I am oenone on github.
  • I am rommudoh (https://keybase.io/rommudoh) on keybase.
  • I have a public key ASCaA-wX5jsXY8NG2hqFgIjjfmqHeY5m1hoXQySWbbujOwo

To claim this, I am signing this object:

--- share/gprconfig/compilers.xml.orig 2013-07-27 23:43:28.708889238 +0200
+++ share/gprconfig/compilers.xml 2013-07-27 23:48:16.746037642 +0200
@@ -12,8 +12,8 @@
<name>GCC</name>
<executable prefix="1">(.*(-wrs-|-sysgo|-elf-|-eabi-|-eabispe-|avr-|-elinos-linux|-pc|-xcoff-).*)?gcc</executable>
<version>
- <external>${PREFIX}gcc -v</external>
- <grep regexp="^gcc \S+ (\S+)" group="1"></grep>
+ <external>${PREFIX}gcc -dumpversion</external>
+ <grep regexp="[^\r\n]+"></grep>
with Ada.Command_Line;
with Ada.Text_IO;
with Ada.Streams.Stream_IO;
procedure Show_Bytes is
use Ada.Streams.Stream_IO;
Input, Output : File_Type;
In_Stream, Out_Stream : Stream_Access;
$ glxinfo | grep version
server glx version string: 1.4
client glx version string: 1.4
GLX version: 1.4
OpenGL version string: 2.1 Mesa 7.11.2
OpenGL shading language version string: 1.20
with Ada.Text_IO;
procedure Read
is
File : Ada.Text_IO.File_Type;
begin
Ada.Text_IO.Open (File, Mode => Ada.Text_IO.In_File, Name => "read.adb"); -- line 7
Ada.Text_IO.Set_Line (File, 7);
declare
Stored_Line : String := Ada.Text_IO.Get_Line (File);
-- Author: Julian Leyh <julian@vgai.de>
-- Compile with: gnatmake -gnat05 main.adb
with Ada.Text_IO;
with Ada.Strings.UTF_Encoding.Wide_Wide_Strings;
with Ada.Wide_Wide_Characters.Handling;
with Ada.Wide_Wide_Text_IO;
procedure Main is
package Int_IO is new Ada.Wide_Wide_Text_IO.Integer_IO (Integer);