Skip to content

Instantly share code, notes, and snippets.

@mattpolzin

mattpolzin/Makefile

Created October 27, 2021 17:29
Show Gist options
  • Save mattpolzin/54d9cc154d57d007b9246eb157f696bf to your computer and use it in GitHub Desktop.
Save mattpolzin/54d9cc154d57d007b9246eb157f696bf to your computer and use it in GitHub Desktop.
Download ZIP
NCurses workaround (makefile snippet)
Raw
Makefile
NCURSES_VERSION ?= 6
ncurses-idris-dep:
mkdir -p deps && \
cd deps && \
git clone https://github.com/mattpolzin/ncurses-idris.git && \
cd ncurses-idris && \
cat NCurses.idr | sed 's/libncurses"/libncurses $(NCURSES_VERSION)"/' > tmp.idr && \
rm NCurses.idr && mv tmp.idr NCurses.idr && \
make && make install && \
cd ../..
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment