Commit Graph

135 Commits

Author SHA1 Message Date
Rafal Kupiec dc4208a07a Fix Darwin build 2018-07-22 19:23:58 +01:00
Rafal Kupiec 1645f0ccb9 Potentially fix all build issues 2018-07-22 19:23:58 +01:00
Rafal Kupiec c2e34931fe Fix installation 2018-07-22 19:23:58 +01:00
Rafal Kupiec 61d4ea1903 Initial version of Makefile that produces library 2018-07-22 19:23:58 +01:00
David Carlier 357be5ec0d Attempt to fix #3 (#14) 2018-07-22 19:23:50 +01:00
Rafal Kupiec 1e6e29e528
Even more debug information 2018-07-22 12:26:42 +02:00
David Carlier 144be6f095 Solving Darwin modules build. 2018-07-22 08:04:15 +01:00
Rafal Kupiec 2ad252e6f0
--export-dynamic is not supported for PE+ targets 2018-07-21 22:19:18 +02:00
Rafal Kupiec 3f776c8ef1
This quotation are unnecessary. String does not match because of them. Fix for Windows build. 2018-07-21 22:14:30 +02:00
Rafal Kupiec 3267ddd7ee
Linker flags are also OS-specific 2018-07-21 22:10:28 +02:00
Rafal Kupiec 170381d04d
LIBS have to be passed per OS 2018-07-21 20:10:02 +02:00
David Carlier a6747b63e0 dlopen api is included in the libc for BSD 2018-07-21 15:54:08 +01:00
Rafal Kupiec d1b874b391
Fix segmentation fault 2018-07-21 14:44:36 +02:00
Rafal Kupiec c79f1d26cc
More information about P# 2018-07-21 14:18:38 +02:00
Rafal Kupiec 7e363cee41
Update README 2018-07-21 13:23:13 +02:00
Rafal Kupiec 6d52aa641d
Initial readme 2018-07-21 12:51:19 +02:00
Rafal Kupiec e394ce7d14
Divide libcox by Symisc into smaller logical chunks 2018-07-21 12:41:01 +02:00
Rafal Kupiec d3ff86f692
Correct some typos 2018-07-21 11:30:41 +02:00
Rafal Kupiec 9b219032c3
Remove some duplicated builtin functions 2018-07-21 11:00:29 +02:00
Rafal Kupiec d9507216cb
Move ctype library into separate module 2018-07-21 09:43:34 +02:00
Rafal Kupiec 9313276e09
Dummy module should also show how to define constants 2018-07-21 08:32:10 +02:00
Rafal Kupiec b7caeefded
Move math library into separate module 2018-07-21 08:24:20 +02:00
Rafal Kupiec dc4c51ca5a
Allow to use operating systems's native dynamic library extension 2018-07-20 22:43:52 +02:00
Rafal Kupiec abb91a9874
Reorganize the repository for new build system 2018-07-20 22:35:09 +02:00
Rafal Kupiec efceb9d12b
Add support for OpenBSD 2018-07-20 22:20:47 +02:00
Rafal Kupiec 100971a37a
Test generic and multiplatform makefile 2018-07-20 18:30:34 +02:00
Rafal Kupiec d86f4f5aa2
Correct some more typos 2018-07-19 22:14:15 +02:00
Rafal Kupiec 1b20057c61
Correct some typos 2018-07-19 22:08:19 +02:00
Rafal Kupiec c6ad27566a
Correct some typos 2018-07-19 22:06:12 +02:00
Rafal Kupiec 46ca163757
Correct module name 2018-07-19 20:02:54 +02:00
Rafal Kupiec a00e81f4f8
Move XML support into separate module. 2018-07-19 19:58:42 +02:00
Rafal Kupiec 98e2775e9a
Fix typos 2018-07-19 18:57:58 +02:00
Rafal Kupiec 95e9174058
Move JSON support into separate module. 2018-07-19 18:30:56 +02:00
Rafal Kupiec 0dc9a04f0e
It is a bad idea to compare memory. This fixes some false-positives. 2018-07-19 17:28:13 +02:00
Rafal Kupiec 28dbeeb1ad
I'm not a big Windows fun, so please correct me if this is not working 2018-07-19 17:22:36 +02:00
Rafal Kupiec d1e56b9206
sizeof() is enough 2018-07-19 16:52:39 +02:00
devnexen f0b3adc44a Further change for module load (#11) 2018-07-19 16:51:33 +02:00
devnexen e755fd55b9 Little build fix (#10) 2018-07-19 13:43:10 +02:00
Rafal Kupiec 641fa9e960
Move definition to header file 2018-07-19 07:40:39 +02:00
Rafal Kupiec 5908307885
Automatically unload all modules and free up memory on VM release. 2018-07-19 07:35:59 +02:00
Rafal Kupiec ee5504ea3a
Initial support for modules, partially implements #1 2018-07-18 22:01:04 +02:00
Rafal Kupiec 1929b3619a Merge branch 'php_random_port' of PSharp/psharp into master 2018-07-16 22:06:36 +02:00
David Carlier 62344a99ef Adding random_int/random_bytes functions but still using PH7 PRNG. 2018-07-16 16:13:20 +01:00
Rafal Kupiec 887b78ead0
Remove redundant whitespace 2018-07-15 19:52:27 +02:00
Rafal Kupiec 6abb65a04c
declare() is a stupid and useless construct. It will not be supported in P#. 2018-07-15 12:22:37 +02:00
Rafal Kupiec 9fe3ae2221
Fix indentation 2018-07-15 12:11:30 +02:00
Rafal Kupiec 6d0e346b7d
Correct coding style 2018-07-15 11:57:22 +02:00
Rafal Kupiec 4b05081d4a
Makefile can be also used on Windows, but it needs some tweaks 2018-07-15 11:54:00 +02:00
Rafal Kupiec 0178ff0495
Enable debugging symbols 2018-07-15 11:50:27 +02:00
Rafal Kupiec ac3f78785a
Add tasks for compiling P# on Unix-like OS 2018-07-15 11:34:32 +02:00