Skip to content

Instantly share code, notes, and snippets.

View elieux's full-sized avatar

David Macek elieux

View GitHub Profile
@elieux
elieux / statespace-hang-testcase.proj
Last active August 29, 2015 14:01
statespace-hang-testcase
<project library-octave="False" library-rpc="False" target_env="C++">
<configuration>
<build-option name="LIBS" /><build-option name="CFLAGS">-O2</build-option><head-code>#include &lt;iostream&gt;
</head-code>
</configuration>
<net id="101" name="testcase">
<place id="103" label-x="-181" label-y="-25" name="" radius="20" sx="0" sy="0" x="-181" y="-25">
<place-type x="-164" y="-8">int</place-type><init x="-164" y="-55">1</init><trace trace-tokens="False" />
</place>
<transition clock="False" collective="False" id="102" label-x="-31" label-y="-24" name="" priority="" sx="70" sy="36" x="-66" y="-42">
@elieux
elieux / Fork error troubleshooting
Created September 18, 2014 19:40
msys2-wiki-installation-changes
2. If you do get DLL or fork errors during update, wait for the update to finish, note the names of packages with errors (or of all the updated packages). Then exit MSYS2 and rebase as described in step 3 above. After that, re-launch the shell and reinstall those packages.
***pacman -S <package_names>***
@elieux
elieux / npm
Created September 21, 2014 09:35
MSYS2 NPM "binaries"
#!/bin/sh
basedir=`dirname "$0"`
case `uname` in
*CYGWIN*) basedir=`cygpath -w "$basedir"`;;
esac
if [ -x "$basedir/node" ]; then
"$basedir/node" "$basedir/../lib/node_modules/npm/bin/npm-cli.js" "$@"
ret=$?
@elieux
elieux / OutputFile.h
Created October 5, 2014 00:02
aria2-segfault
#ifndef D_OUTPUT_FILE_H
#define D_OUTPUT_FILE_H
#include "common.h"
#include <cstdlib>
#include <cstdarg>
namespace aria2 {
@elieux
elieux / conf.E
Created October 12, 2014 12:01
gcc internal error
This file has been truncated, but you can view the full file.
# 1 "../conf.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "../conf.c"
# 1 "D:/applications/msys2.x64/mingw64/x86_64-w64-mingw32/include/stdio.h" 1 3
@elieux
elieux / putty.exe.manifest
Last active August 29, 2015 14:07
PuTTY manifest 64-bit problem
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<!-- Do not attempt to do anything clever with this file, as some versions of
Windows are very sensitive to the exact format.
Hence, some facts below are fibs. -->
<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0">
<assemblyIdentity
version="0.0.0.0"
processorArchitecture="amd64"
name="PuTTY"
type="win32" />
@elieux
elieux / build.log
Created October 15, 2014 21:10
mono build error
*** Warning: Trying to link with static lib archive /mingw32/lib/libiconv.dll.a.
*** I have the capability to make that library automatically link in when
*** you link to this library. But I can only do this if you have a
*** shared version of the library, which you do not appear to have
*** because the file extensions .a of this argument makes me believe
*** that it is just a static archive that I should not use here.
Creating libraries/array/ghc.mk
Creating libraries/array/GNUmakefile
Creating libraries/base/ghc.mk
Creating libraries/base/GNUmakefile
Creating libraries/bin-package-db/ghc.mk
Creating libraries/bin-package-db/GNUmakefile
Creating libraries/binary/ghc.mk
Creating libraries/binary/GNUmakefile
Creating libraries/bytestring/ghc.mk
Creating libraries/bytestring/GNUmakefile
@elieux
elieux / pacman.log
Created October 18, 2014 23:38
QtBinPatcher
QtBinPatcher v2.1.0. Tool for patching paths in Qt binaries.
Yuri V. Krugloff, 2013-2014. http://www.tver-soft.org
This is free software released into the public domain.
Parsed command line options:
nobackup
verbose
Working directory: "D:/applications/msys2.x64/mingw64/bin".
@elieux
elieux / build.log
Created October 21, 2014 16:56
DOMjudge build without jsoncpp
root@srva10gk:~/domjudge# cd submit
root@srva10gk:~/domjudge/submit# make build
g++ -g -O2 -Wall -fstack-protector -fPIE -D_FORTIFY_SOURCE=2 -DREVISION="\"g301eb9d\"" -I../lib -I../etc -c -o submit.o submit.cc
submit.cc:15:2: error: #error "libcURL or libJSONcpp not available."
submit.cc:30:31: fatal error: jsoncpp/json/json.h: No such file or directory
compilation terminated.
make: *** [submit.o] Error 1