From 63074c1d4f7ce05fbb13362562b43212dda1f507 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Wed, 25 Nov 2015 13:05:44 +0100 Subject: [PATCH] Updates readme --- README.md | 21 ++++++++++++++++++--- java/YannakakisEQOracle.java | 2 +- 2 files changed, 19 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index ae3e765..942d3c5 100644 --- a/README.md +++ b/README.md @@ -43,11 +43,26 @@ sourcefile (`src/main.cpp`) can also be built with c++11 (this is tested on some commits on both Windows and linux). +### Notes for linux + +There seems to be a problem with docopt.cpp with gcc-4.9 as well... (Everything +compiles, but the program options are not parsed well.) If you want to build +with `clang` on linux, you should also use `libc++`. Try the following: + +``` +sudo apt-get install libc++-dev +mkdir build +cd build +CXX=clang++ CC=clang CXXFLAGS=-stdlib=libc++ LDFLAGS=-pthread cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo .. +make + +``` + ## Java -For now the java code, which acts as a bridge between LearnLib and this c++ -tool, is included here. But it should earn its own repo at some point. Also, my -javanese is a bit rusty... +For now the java code, which acts as a bridge between LearnLib and this c++ +tool, is included here (can be out-dated). But it should earn its own repo at +some point. Also, my javanese is a bit rusty... ## License diff --git a/java/YannakakisEQOracle.java b/java/YannakakisEQOracle.java index 0bf8be1..5a4f45b 100644 --- a/java/YannakakisEQOracle.java +++ b/java/YannakakisEQOracle.java @@ -23,7 +23,7 @@ import java.util.*; public class YannakakisEQOracle implements EquivalenceOracle.MealyEquivalenceOracle { private final MembershipOracle> sulOracle; private final List> alphabets; - private final ProcessBuilder pb = new ProcessBuilder("/Users/joshua/Documents/PhD/Yannakakis/build/main", "--", "0", "3", "random"); + private final ProcessBuilder pb = new ProcessBuilder("/Users/joshua/Documents/PhD/Yannakakis/build/main", "--prefix", "buggy", "=", "random", "0", "3"); private int currentAlphabet = 0; private long bound = 100;