The following is a quick way to use Arduino-ish library without Arduino-ish IDE on pcDuino.

$ sudo apt-get install pcduino-dev
$ cat test.c

#include <pcduino/Arduino.h>
void setup() { }
void loop()
{
        digitalWrite(18, 0);
        delay(1000);
        digitalWrite(18, 1);
        delay(1000);
}

$ g++ test.c -larduino -o test
$ ./test

hope it helps!