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
/
makecoq_mingw.sh
Commit message (
Expand
)
Author
Age
*
Fix Windows install script following removal of INSTALL.ide and move of INSTA...
Théo Zimmermann
2018-06-22
*
[appveyor] Use OCaml version 4.06.1 in the Windows build.
Emilio Jesus Gallego Arias
2018-06-02
*
[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
|
/
*
Fix #5998: AppVeyor package building is currently failing
Maxime Dénès
2017-12-27
*
dev/build/windows/makecoq_mingw.sh: install camlp5's META file
Enrico Tassi
2017-09-07
*
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
*
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-07-04
|
\
|
*
Fix libpcre dependency issue under Windows.
Maxime Dénès
2017-06-26
|
*
Fixes bug #5561,#5562 in Windows build system
Michael Soegtrop
2017-06-26
*
|
Fix a typo
Jason Gross
2017-05-18
|
/
*
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