 Alexander Kuzmenko
|
b5699aa6cf
add _build/**/*.cmi to nightlies on all platforms
|
il y a 7 ans |
 Andy Li
|
c76e38aec1
[CI] Clean up deployment. Build tags.
|
il y a 7 ans |
 Simon Krajewski
|
a0577b7b45
merge waneck-changes from nightly-travis branch
|
il y a 8 ans |
 Nicolas Cannasse
|
a4a1651eb8
fixed error reporting in src instead of _build
|
il y a 8 ans |
|
Nicolas Cannasse
|
f03353c63b
fixed compilation with FILTER
|
il y a 8 ans |
|
Simon Krajewski
|
501b7a6488
use ocamlfind (#6123)
|
il y a 8 ans |
|
Simon Krajewski
|
dacdd0bc64
add Makefile/sh based "build system"
|
il y a 8 ans |
|
Andy Li
|
dbd7afa5ef
[AppVeyor] fix choco package
|
il y a 8 ans |
|
Andy Li
|
379dd2afb2
[AppVeyor] push chocolatey package to the feeds
|
il y a 8 ans |
|
Andy Li
|
575becd947
[AppVeyor] build chocolatey package
|
il y a 8 ans |
|
Andy Li
|
8282646949
no precompiled pcre lib anymore
|
il y a 8 ans |
|
Andy Li
|
4c6483f202
bundle zlib1.dll and libpcre-1.dll when `make package_bin` on Windows
|
il y a 8 ans |
|
Nicolas Cannasse
|
cd58c1ddb9
use precompiled pcre version for mingw
|
il y a 8 ans |
|
Andy Li
|
ddf9af1b98
[Makefile] use some variable trick to define package_bin instead of double-colon rule (see #5240)
|
il y a 9 ans |
|
Andy Li
|
d91c2f8b4f
[Makefile] use double-colon rule for package_bin such that it can be overridden without warnings (close #5240)
|
il y a 9 ans |
|
Andy Li
|
0024c84008
[makefile] CFLAGS should only contains flags that are optional
|
il y a 9 ans |
|
Andy Li
|
11453dd16d
use 7z instead of 7za in release.neko
|
il y a 9 ans |
|
Nicolas Cannasse
|
16bc0bc48e
fixed compilation with new directories
|
il y a 9 ans |
|
Andy Li
|
47e8143eb5
tweaked packaging
|
il y a 10 ans |
|
Andy Li
|
67129ab7c4
[makefile] Added a package_src target.
|
il y a 10 ans |
|
Andy Li
|
38ead57d5f
Makefile improvements.
|
il y a 10 ans |
|
Andy Li
|
ec4456534e
Added package_bin rule to Makefile. Save package as an artifacts on AppVeyor.
|
il y a 10 ans |
|
Andy Li
|
77c11b69fa
Fixed `make ADD_REVISION=1` across Win (cygwin / command prompt) and Unix bash.
|
il y a 10 ans |
|
Simon Krajewski
|
4f8f6a99dd
revert Makefile.win changes (cannot compile locally anymore)
|
il y a 10 ans |
|
Andy Li
|
4d67266fb6
Use `git rev-parse --short HEAD` to get commit sha.
|
il y a 10 ans |
|
Nicolas Cannasse
|
0222951a15
added stubs linking
|
il y a 10 ans |
|
Andy Li
|
4f0dbd1154
fixed wodi lib path
|
il y a 10 ans |
|
Andy Li
|
590d5a1a63
Added wodi support to Makefile.win. example: `make -f Makefile.win WODI=wodi64`
|
il y a 10 ans |
|
Simon Krajewski
|
bc8b2e7315
remove 2>/dev/null from makefile kill (does not work for me)
|
il y a 11 ans |
|
Nicolas Cannasse
|
1738a1939f
added --display memory with scanned module size and leaks
|
il y a 11 ans |
