From 8342a4db33d89a1aca0e4f1c33cc333223f3cd03 Mon Sep 17 00:00:00 2001 From: Thomas Hobson Date: Fri, 19 Mar 2021 22:24:40 +1300 Subject: [PATCH] pkg(brainfuck-2.7.3): Disable edit line and run correctly --- packages/brainfuck/2.7.3/build.sh | 2 +- packages/brainfuck/2.7.3/run | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/brainfuck/2.7.3/build.sh b/packages/brainfuck/2.7.3/build.sh index dc4f445..42557f0 100644 --- a/packages/brainfuck/2.7.3/build.sh +++ b/packages/brainfuck/2.7.3/build.sh @@ -9,7 +9,7 @@ git clone https://github.com/fabianishere/brainfuck.git cd build -cmake ../brainfuck -DCMAKE_INSTALL_PREFIX=$PREFIX +cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DENABLE_EDITLINE=OFF ../brainfuck make -j$(nproc) make install -j$(nproc) diff --git a/packages/brainfuck/2.7.3/run b/packages/brainfuck/2.7.3/run index 9a754ca..4c8f425 100644 --- a/packages/brainfuck/2.7.3/run +++ b/packages/brainfuck/2.7.3/run @@ -1,4 +1,4 @@ #!/usr/bin/env bash # Put instructions to run the runtime -brainfuck-2.7.3 "$@" +brainfuck $1