Skip to content

Commit 81ca2f4

Browse files
committed
Add ocp-indent to INSTALL list
1 parent 942fe3c commit 81ca2f4

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

INSTALL.sh

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
#!/bin/sh
22

3-
opam install --yes \
3+
opam install -j 4 --yes \
44
core \
55
core_extended \
66
cryptokit \
@@ -16,7 +16,8 @@ opam install --yes \
1616
cmdliner \
1717
cow \
1818
ocp-indent \
19-
ctypes
19+
ctypes \
20+
ocp-index
2021

2122
echo You also need Pygments installed.
2223
echo This is python-pygments in Debian

0 commit comments

Comments
 (0)