I have made a vastly simpler build system for Pony on Windows.
I have been taking a look at the very interesting Pony programming language in my copious free time for a couple of weeks now. It’s fairly straightforward to build on Ubuntu. Here’s how I built it on Windows 10:
This process uses GnuWin32, which LLVM recommends, to provide unix utils; your mileage may vary with MSYS or Cygwin.
- Install GnuWin32 via the GetGnuWin32 tool; make sure it’s in your PATH.
- Install Python (I used 3.5.1; 2.7 is supposed to work as well); make sure it’s in PATH.
- Installed CMake; make sure it’s in PATH.
- Get the LLVM source. I used the tarball of 3.7.1 (requireds 7-zip to open on Windows).
- Make sure you have VS2015 with C++ installed.
- Generate LLVM VS2015 configuration with CMake. I used the GUI to configure and generate the VS projects; make sure you use the 64-bit generator (“Visual Studio 14 2015 Win64”), and set the CMAKE_INSTALL_PREFIX to where you want LLVM to live.
- Build the INSTALL project in the LLVM solution.
- Get the PreMake5 executable, and put it somewhere in your PATH.
- Get the PonyC source.
premake5.exe --with-tests --to=..\vs vs2015 to generate
- Changed the Character Set property of each project in the PonyC solution to Not Set.
In order to run the pony compiler, you’ll need a few libraries in your environment. I have made a utility that will get the libraries and set up your environment:
- Install 7-Zip, make sure it’s in PATH.
Open a VS2015 x64 Native Tools Command Prompt (things will not work correctly otherwise!) and run:
> git clone firstname.lastname@example.org:kulibali/ponyc-windows-libs.git
> cd ponyc-windows-libs
Now you can run the pony compiler and tests:
> cd path_to_pony_source
> build\release\ponyc.exe -d -s packages\stdlib
Getting “cannot read past the end of the stream” when trying to use
System.Security.ClaimsIdentity.WriteTo() to store a claims identity. Disassembled it:
protected virtual void WriteTo(BinaryWriter writer, byte userData)
if (writer == null)
throw new ArgumentNullException("writer");
int num = 0;
ClaimsIdentity.SerializationMask serializationMask = ClaimsIdentity.SerializationMask.None;
... get flags here...
if ((serializationMask & ClaimsIdentity.SerializationMask.AuthenticationType) == ClaimsIdentity.SerializationMask.AuthenticationType)
if ((serializationMask & ClaimsIdentity.SerializationMask.HasClaims) == ClaimsIdentity.SerializationMask.HasClaims)
using (List<Claim>.Enumerator enumerator = this.m_instanceClaims.GetEnumerator())
It writes the flags, then the number of fields, then some of the other values, then the number of claims, then the claims, then some more fields.
On the other hand, the constructor doesn’t read the number of fields, just starts reading the fields (but not Label) and then the claims, and then doesn’t read the rest of the fields.
private void Initialize(BinaryReader reader)
if (reader == null)
throw new ArgumentNullException("reader");
int expr_14 = reader.ReadInt32();
if ((expr_14 & 1) == 1)
this.m_authenticationType = reader.ReadString();
if ((expr_14 & 2) == 2)
this.m_bootstrapContext = reader.ReadString();
if ((expr_14 & 4) == 4)
this.m_nameType = reader.ReadString();
this.m_nameType = "http://schemas.xmlsoap.org/ws/2005/05/identity/claims/name";
if ((expr_14 & 8) == 8)
this.m_roleType = reader.ReadString();
this.m_roleType = "http://schemas.microsoft.com/ws/2008/06/identity/claims/role";
if ((expr_14 & 16) == 16)
int num = reader.ReadInt32();
for (int i = 0; i < num; i++)
Claim item = new Claim(reader, this);
I have released version 4.0 of the IronMeta parser generator.
This release contains some refactoring for VS2015, and no longer tries to install the VS extension; instead, the extension is available in the VS Gallery.
The IronMeta parser generator provides a programming language and application for generating pattern matchers on arbitrary streams of objects. It is an implementation of Alessandro Warth’s OMeta system in C#.
Due to an unforseen family medical situation, the founder of the startup I have been working for has been forced to put the business on hold.
So I am looking for opportunities, as they say. I have a wealth of experience in software development, from NLP, video games, full-stack desktop and web development, to compiler technology and virtual reality. I am voraciously curious and thrive on innovation, research and experimentation.
My resume is at LinkedIn.