Commit fc2bc72c authored by Andrei Paskevich's avatar Andrei Paskevich

add .exe to the globally installed executables on Windows

parent 12121e6a
...@@ -56,7 +56,6 @@ OCAMLBEST = @OCAMLBEST@ ...@@ -56,7 +56,6 @@ OCAMLBEST = @OCAMLBEST@
OCAMLVERSION = @OCAMLVERSION@ OCAMLVERSION = @OCAMLVERSION@
COQC = @COQC@ COQC = @COQC@
COQDEP = @COQDEP@ COQDEP = @COQDEP@
CAMLP5O = @CAMLP5O@ CAMLP5O = @CAMLP5O@
ifeq (@enable_menhirlib@,yes) ifeq (@enable_menhirlib@,yes)
...@@ -349,7 +348,7 @@ clean:: ...@@ -349,7 +348,7 @@ clean::
rm -f bin/why3.byte bin/why3.opt bin/why3 rm -f bin/why3.byte bin/why3.opt bin/why3
install_no_local:: install_no_local::
cp -f bin/why3.@OCAMLBEST@ $(BINDIR)/why3 cp -f bin/why3.@OCAMLBEST@ $(BINDIR)/why3$(EXE)
install_local: bin/why3 install_local: bin/why3
...@@ -419,7 +418,7 @@ clean:: ...@@ -419,7 +418,7 @@ clean::
bin/why3ml.opt --type-only $*.mlw bin/why3ml.opt --type-only $*.mlw
install_no_local:: install_no_local::
cp -f bin/why3ml.@OCAMLBEST@ $(BINDIR)/why3ml cp -f bin/why3ml.@OCAMLBEST@ $(BINDIR)/why3ml$(EXE)
install_local: bin/why3ml install_local: bin/why3ml
...@@ -498,7 +497,7 @@ local_config: bin/why3config.@OCAMLBEST@ ...@@ -498,7 +497,7 @@ local_config: bin/why3config.@OCAMLBEST@
--detect --conf_file why.conf --detect --conf_file why.conf
install_no_local:: install_no_local::
cp -f bin/why3config.@OCAMLBEST@ $(BINDIR)/why3config cp -f bin/why3config.@OCAMLBEST@ $(BINDIR)/why3config$(EXE)
install_local: bin/why3config install_local: bin/why3config
...@@ -557,7 +556,7 @@ clean:: ...@@ -557,7 +556,7 @@ clean::
rm -f .depend.ide rm -f .depend.ide
install_no_local:: install_no_local::
cp -f bin/why3ide.@OCAMLBEST@ $(BINDIR)/why3ide cp -f bin/why3ide.@OCAMLBEST@ $(BINDIR)/why3ide$(EXE)
install_local: bin/why3ide install_local: bin/why3ide
...@@ -613,7 +612,7 @@ clean:: ...@@ -613,7 +612,7 @@ clean::
rm -f .depend.replayer rm -f .depend.replayer
install_no_local:: install_no_local::
cp -f bin/why3replayer.@OCAMLBEST@ $(BINDIR)/why3replayer cp -f bin/why3replayer.@OCAMLBEST@ $(BINDIR)/why3replayer$(EXE)
install_local: bin/why3replayer install_local: bin/why3replayer
...@@ -773,7 +772,7 @@ clean:: ...@@ -773,7 +772,7 @@ clean::
rm -f .depend.bench rm -f .depend.bench
install_no_local:: install_no_local::
cp -f bin/why3bench.@OCAMLBEST@ $(BINDIR)/why3bench cp -f bin/why3bench.@OCAMLBEST@ $(BINDIR)/why3bench$(EXE)
install_local: bin/why3bench install_local: bin/why3bench
...@@ -964,18 +963,18 @@ endif ...@@ -964,18 +963,18 @@ endif
# tools # tools
####### #######
TOOLS = bin/why3-cpulimit TOOLS = bin/why3-cpulimit$(EXE)
byte opt: $(TOOLS) byte opt: $(TOOLS)
bin/why3-cpulimit: src/tools/@CPULIMIT@.c bin/why3-cpulimit$(EXE): src/tools/@CPULIMIT@.c
$(CC) -Wall -o $@ $^ $(CC) -Wall -o $@ $^
clean:: clean::
rm -f bin/why3-cpulimit src/tools/*~ rm -f bin/why3-cpulimit$(EXE) src/tools/*~
install_no_local:: install_no_local::
cp -f bin/why3-cpulimit $(BINDIR)/why3-cpulimit cp -f bin/why3-cpulimit$(EXE) $(BINDIR)/why3-cpulimit$(EXE)
######### #########
# why3doc # why3doc
...@@ -1011,7 +1010,7 @@ bin/why3doc: bin/why3doc.@OCAMLBEST@ ...@@ -1011,7 +1010,7 @@ bin/why3doc: bin/why3doc.@OCAMLBEST@
ln -sf why3doc.@OCAMLBEST@ $@ ln -sf why3doc.@OCAMLBEST@ $@
install_no_local:: install_no_local::
cp -f bin/why3doc.@OCAMLBEST@ $(BINDIR)/why3doc cp -f bin/why3doc.@OCAMLBEST@ $(BINDIR)/why3doc$(EXE)
# depend and clean targets # depend and clean targets
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment