Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Missing install-sh #1

Open
xagawa opened this issue Apr 14, 2016 · 2 comments
Open

Missing install-sh #1

xagawa opened this issue Apr 14, 2016 · 2 comments

Comments

@xagawa
Copy link

xagawa commented Apr 14, 2016

make install requires scripts/install/install-sh

$ make install
! grep -P '\t' src/*.ml src/*.mli
ocamlbuild -pkg core_kernel -pkg sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -pkg bin_prot.syntax -tag short_paths -cflags -strict-sequence -cflags "-w +a-e-9-44-48" -use-menhir -menhir "menhir -v" -classic-display -use-ocamlfind -quiet -ocamlc ocamlc -ocamlopt ocamlopt ./ubt.native
ocamlbuild -pkg core_kernel -pkg sexplib.syntax,comparelib.syntax,fieldslib.syntax,variantslib.syntax -pkg bin_prot.syntax -tag short_paths -cflags -strict-sequence -cflags "-w +a-e-9-44-48" -use-menhir -menhir "menhir -v" -classic-display -use-ocamlfind -quiet -ocamlc ocamlc -ocamlopt ocamlopt ./wsubt.native
scripts/install/install-sh -m 0755 -d /usr/local/bin
make: scripts/install/install-sh: No command
make: *** [install] error 127
@miguel-ambrona
Copy link
Member

Hi xagawa,
Thanks for your comment. We will fix this issue soon. For now, you can install the tool locally running "make".
Visit http://generic-group-analyzer.github.io/gga-ub/index.html for more details.
Best,
Miguel

@xagawa
Copy link
Author

xagawa commented Apr 18, 2016

Hi Miguel,

I just copy /scripts/install/install-sh from gga project and it works well.
The introduced page is great! I have scceeded to install your package by following "Installation."

Thank you,
xagawa

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants