$ PATH=(your bin directory where coqc resides):$PATH
$ export PATH
- Where is my bin directory?
- CoqIDE users
- CoqIDE bundle already includes binaries, so we can use them.
- Windows: the directory where
coqide.exeis located. Make surecoqc.exeis also in there. - Mac:
(Your CoqIDE app path)/Contents/Resources/bin
- Users who installed Coq with Homebrew
- The typical path is
/usr/local/bin, but it may differ by Homebrew configuration.
- The typical path is
- All other users who manually installed Coq: just the location you gave during
./configure
- CoqIDE users
- I recommend to embed above commands in your
~/.bashrcor~/.zshrc.
$ source configure_coqbin.sh # optional
$ git submodule init
$ git submodule update
$ make -C frap lib
$ make -C pset1
- Above procedure assumes PATH is set for detecting
coqc(check withwhich coqc!). - You should execute
configure_coqbin.shwithsource(or just.) in order to export the variable to the parent process. - If you already set the COQBIN variable, you don't need to execute the script.
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent