diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-10-04 08:02:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-10-04 08:02:14 +0000 |
commit | 06f7dafd769e7ef29452e7491ca87d5f374a3149 (patch) | |
tree | 1998cb9f180fa038021c4fa2cb9caf389a756219 /Makefile | |
parent | db6904e6ede82c75e4b6189155d8260d0016377c (diff) |
Make install-bin also install Isabelle and Lego scripts
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -33,11 +33,15 @@ EXTRA_DIRS = images x-symbol BATCHEMACS=${EMACS} -batch -q -no-site-file -BASH_SCRIPTS = isa/interface isar/interface bin/proofgeneral +# Scripts to edit paths to shells +BASH_SCRIPTS = isar/interface bin/proofgeneral PERL_SCRIPTS = lego/legotags coq/coqtags -BIN_SCRIPTS = bin/proofgeneral +# Scripts to edit path to PG PG_SCRIPTS = bin/proofgeneral +# Scripts to install to bin directory +BIN_SCRIPTS = ${BASH_SCRIPTS} ${PERL_SCRIPTS} + # FIXME: would rather set load path in Elisp, # but seems tricky to do only during compilation. # Another idea: put a function in proof-site to |