tianchenwei/kphpdebuggerbuild

Eclipse Plugin - KPHP Debugger - build

KPHP Debugger

Installation

1. Download Eclipse Kepler: 4.3.2 Release
2. Install PHP Development Tools PDT

From Eclipse menu: Help > Install New Software Work with: http://download.eclipse.org/tools/pdt/updates/3.3

3. Install Graphviz
4. Put org.phpsemantics.debug.core ,org.phpsemantics.debug.ui and tools into Eclipse/dropins directory.

Setup

1. set path of dot in makeGraph(only for Mac)

You need to add the path of dot tool into makeGraph script as following:.
Change export PATH=$PATH with export PATH="/path/of/dot":$PATH
You can get path of dot by:which dot

2. kompile php.k

Under kphp2 directory, run this command: ./../k/bin/kompile/php.k
This might take a few minutes. When it finishes, you get the php-kompiled folder in kphp2.

Usage

1. Create a PHP project

File -> New -> Other -> PHP project

2. Open Debug Perspective
3. Create new Debug Configuration

Doulbe click on KPHP, specify the script you want to debug

TroubleShooting

Check if the interpreter is working:
run following commands under tools/kphp2 directory:
scripts/kphp example-breakpoint.php
Then you should get output in XML-like notationm (go to KPHP website to know more about output)

Check version of the k tool
run following commands under tools/k/bin:
./krun -version
Then it should say: cd ./krun -version
K-framework nightly build.
Git Revision: eb0a7cb
Build date: Fri May 23 10:49:48 CDT 2014

Check the dot tool
Under tools directory, run following command:
./makeGraph example.dot example.png Then you should get a directed graph.