diff options
Diffstat (limited to 'chunks/ragel.morph')
-rw-r--r-- | chunks/ragel.morph | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/chunks/ragel.morph b/chunks/ragel.morph new file mode 100644 index 00000000..2e17c607 --- /dev/null +++ b/chunks/ragel.morph @@ -0,0 +1,14 @@ +name: ragel +kind: chunk +repo: upstream:ragel +ref: 5d4102ffe43a15608e0e864fc7e7f5c6c3b49aac +max-jobs: 1 +build-system: autotools +configure-commands: +- ./autogen.sh --disable-manual --prefix="$PREFIX" +- ./configure --disable-manual --prefix="$PREFIX" +build-commands: +- make -C src version.h +- make +install-commands: +- make install |