GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-06-06 13:48:57 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
bd6d88c78483a1b0e24780b80b5faefa31fd6f35
gf-rgl/Make.sh
John J. Camilleri 989c6f5893 Add dist to --gf-lib-path in Make.sh 
Otherwise an externally set GF_LIB_PATH will mess it up
Might also need to make same change in Make.hs
2018-08-10 18:27:19 +02:00

3.1 KiB
Executable File
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink