mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-07 18:56:26 +02:00
pkg(brainfuck-2.7.3): Disable edit line and run correctly
This commit is contained in:
parent
ee25a2eefa
commit
8342a4db33
2 changed files with 2 additions and 2 deletions
2
packages/brainfuck/2.7.3/build.sh
vendored
2
packages/brainfuck/2.7.3/build.sh
vendored
|
@ -9,7 +9,7 @@ git clone https://github.com/fabianishere/brainfuck.git
|
||||||
|
|
||||||
cd build
|
cd build
|
||||||
|
|
||||||
cmake ../brainfuck -DCMAKE_INSTALL_PREFIX=$PREFIX
|
cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DENABLE_EDITLINE=OFF ../brainfuck
|
||||||
|
|
||||||
make -j$(nproc)
|
make -j$(nproc)
|
||||||
make install -j$(nproc)
|
make install -j$(nproc)
|
||||||
|
|
2
packages/brainfuck/2.7.3/run
vendored
2
packages/brainfuck/2.7.3/run
vendored
|
@ -1,4 +1,4 @@
|
||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
# Put instructions to run the runtime
|
# Put instructions to run the runtime
|
||||||
brainfuck-2.7.3 "$@"
|
brainfuck $1
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue