Searched refs:COGENT_TOOLDIR (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/tools/cogent/ | ||
| H A D | build-env.sh | 23 # COGENT_TOOLDIR: location of ���cogent��� compiler. 57 : ${COGENT_TOOLDIR:="$HOME/.cabal/bin"} 59 then PATH="$COGENT_TOOLDIR:$PATH" |
Completed in 25 milliseconds