index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
build
/
windows
Commit message (
Expand
)
Author
Age
*
[windows] Don't make menhir and int anymore.
Emilio Jesus Gallego Arias
2018-05-16
*
Windows packaging build with Gitlab CI
Maxime Dénès
2018-05-11
*
Fixes issue #7083 / Windows build: Unify build logging to console (for appvey...
Michael Soegtrop
2018-05-03
*
Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomly
Michael Soegtrop
2018-05-03
*
Merge PR #6809: Improve shell scripts
Michael Soegtrop
2018-04-08
|
\
|
*
Improve shell scripts
zapashcanon
2018-04-05
*
|
Fixes issue #7172 (don't include MinGW make in install)
Michael Soegtrop
2018-04-05
|
/
*
Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...
Maxime Dénès
2018-03-26
|
\
*
|
[win] update bignums to tag V8.8+beta1
Enrico Tassi
2018-03-15
*
|
Hack to make bignum build on windows
Enrico Tassi
2018-03-06
*
|
build: win: turn off build/installation of gnu Make
Enrico Tassi
2018-03-06
*
|
installer: win: put addons in a separate package
Enrico Tassi
2018-03-02
*
|
build: win: detect 404 as HTML files
Enrico Tassi
2018-03-02
*
|
build: win: addon bignums
Enrico Tassi
2018-03-02
*
|
build: win: support for addons
Enrico Tassi
2018-03-02
*
|
Change references to CAMLP4 to CAMLP5 to be more accurate since we no
Jim Fehrle
2018-02-17
|
*
Tentative fix for #6520: camlcity.org unresponsive makes AppVeyor fail.
Théo Zimmermann
2018-02-12
|
/
*
Normalize Windows installer names.
Théo Zimmermann
2018-01-04
*
Fix #5998: AppVeyor package building is currently failing
Maxime Dénès
2017-12-27
*
[build] Remove coqmktop in favor of ocamlfind.
Emilio Jesus Gallego Arias
2017-12-10
*
uninstall doc dir, not dev (which is not installed), #6007
Paul Steckler
2017-12-01
*
Put newlines at the end of files.
Gaëtan Gilbert
2017-10-25
*
Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file
Maxime Dénès
2017-10-03
|
\
*
|
Do not reinstall preinstalled packages under AppVeyor.
Maxime Dénès
2017-09-21
*
|
Print Cygwin setup output rather than logging in to a file.
Maxime Dénès
2017-09-21
|
*
dev/build/windows/makecoq_mingw.sh: install camlp5's META file
Enrico Tassi
2017-09-07
|
/
*
Make AppVeyor generate Windows package.
Maxime Dénès
2017-09-05
*
Remove -debug option from Windows build script.
Maxime Dénès
2017-09-05
*
Get sources of cygwin packages after building the installer.
Maxime Dénès
2017-09-05
*
Adapt Windows build script to new CoqIDE data installation directory.
Maxime Dénès
2017-09-05
*
Print more of the Coq build output.
Maxime Dénès
2017-09-05
*
Print Coq build output.
Maxime Dénès
2017-09-05
*
In regression test mode, run cygwin setup to install dependencies.
Maxime Dénès
2017-09-05
*
Add AppVeyor infrastructure, launching the test suite under Windows.
Maxime Dénès
2017-07-20
*
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-07-04
|
\
|
*
Fix libpcre dependency issue under Windows.
Maxime Dénès
2017-06-26
|
*
Fix proxy setting issue
Michael Soegtrop
2017-06-26
|
*
Fixes bug #5561,#5562 in Windows build system
Michael Soegtrop
2017-06-26
*
|
Fix a typo
Jason Gross
2017-05-18
|
/
*
Windows build scripts for 8.6 final.
Maxime Dénès
2016-12-08
*
Fix paths in 32-bit windows build scripts.
Maxime Dénès
2016-12-08
*
Add bat files for 8.6rc1 build.
Maxime Dénès
2016-12-07
*
Add bat files for 8.6beta1 build.
Maxime Dénès
2016-12-07
*
Remove README.win until we come up with new instructions.
Maxime Dénès
2016-11-14
*
Add Michael Soegtrop's new script to build windows installer.
Maxime Dénès
2016-11-10