16 commits

Author	SHA1	Message	Date
Sebastian Ullrich	616d562d73	feat: lean --deps-json --stdin	2022-10-14 22:20:44 +02:00
Wojciech Nawrocki	e7f91d2d01	feat: forward all args to server	2022-07-28 15:58:32 +02:00
Wojciech Nawrocki	2744f94ff5	fix: forward memory and stack sizes to server	2022-07-28 15:58:32 +02:00
Sebastian Ullrich	775ed70a84	feat: add lean --print-deps-json	2022-07-06 16:12:30 +02:00
larsk21	b708eaec2c	fix: forward lean options to workers	2022-06-03 13:03:52 +02:00
Sebastian Ullrich	7460878e05	chore: define WIN32_LEAN_AND_MEAN	2022-04-06 09:38:19 +02:00
Joscha	fead5526bc	feat: add -i cli option	2022-01-14 09:18:57 +01:00
tydeu	a3250dc44b	feat: expose --load-dynlib functionality to Lean code	2021-12-15 08:26:48 +00:00
Chris Lovett	10649baf8d	fix: potential buffer override on command line args (#839)	2021-12-01 12:14:48 -08:00
Sebastian Ullrich	c6c56b15e1	feat: findSysroot? & reworked initSearchPath	2021-11-20 11:04:39 +01:00
tydeu	f0fd17138c	fix: pass --trust to frontend	2021-11-11 08:39:53 +01:00
Sebastian Ullrich	85fb03f22c	fix: cannot dynamically link against library that depends on statically linked runtime on Windows	2021-11-04 15:32:07 -07:00
Sebastian Ullrich	4b51d00fcb	feat: --load-dynlib	2021-11-04 15:32:07 -07:00
Sebastian Ullrich	b13d3e6ca5	fix: dllexport functions not already annotated in header	2021-09-20 18:41:46 +02:00
Sebastian Ullrich	da516f5aa7	fix: write .c output file in binary mode for reproducibility	2021-09-20 18:41:46 +02:00
Sebastian Ullrich	b3bb2bac97	chore: move all C++ code into libleanshared, use C stub for main ... Avoids any issues with cross-lib C++	2021-09-16 07:03:37 -07:00

Renamed from src/shell/lean.cpp (Browse further)