Skip to content
Merged
Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
d50013f
update to picosat-960
maelvls May 24, 2017
2eb74fb
update to quantor-3.2
maelvls May 24, 2017
ead5991
quantor: fix configure script so that x86_64-w64-mingw32-gcc.exe is u…
maelvls May 25, 2017
4532cf6
updated _oasis,Makefile for updated picosat,quantor
maelvls May 9, 2017
72606cb
oasis: avoid linker message 'ld: -L../libs/quantor/ not found' and ad…
maelvls May 24, 2017
b4985a5
oasis: name the ocamlfind package 'qbf', added Simon C. as maintainer
maelvls May 24, 2017
9cda037
oasis: install 'quantor' by default as it has no dependency
maelvls May 24, 2017
3bada8f
oasis: 'make clean' also cleans the libs/ folder
maelvls May 24, 2017
54ae799
oasis: fixed SourceRepository field (added ending .git)
maelvls May 27, 2017
ccc12b8
tests: use oUnit2 and only run the tests for enabled libs
maelvls May 24, 2017
68bf028
tests: use -custom with ocamlc so that tests use the static stubs
maelvls May 25, 2017
e769477
makefile: ./configure only compiles picosat and quantor if needed
maelvls May 24, 2017
eb0a89e
makefile: added -fPIC so that a shared stub can be created
maelvls May 24, 2017
aa1dd76
makefile: also run 'ranlib' for mingw compatibility
maelvls May 24, 2017
adc3f14
makefile: fix build order: picosat before quantor (only bugs on mingw)
maelvls May 25, 2017
74cce7f
makefile: add -fPIC to configured CFLAGS
maelvls May 25, 2017
ef458c7
makefile,oasis: move pre/post commands to makefile
maelvls May 28, 2017
3ace7fa
travis,appveyor: add continuous integration (linux, macos, windows)
maelvls May 27, 2017
2d480f1
readme: added CI badges
maelvls May 24, 2017
868a05b
readme: detail the tested architectures
maelvls May 31, 2017
97c0bb5
bump to version 0.2
maelvls May 24, 2017
File filter

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
readme: detail the tested architectures
  • Loading branch information
maelvls committed May 31, 2017
commit 868a05bfead7f717be1bd1efffca935da79f2dab
14 changes: 14 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,20 @@ in OCaml.
the library for convenience (they are rarely packaged on distributions, and
require some compilation options such as `-fPIC` to work with OCaml).

## Tested configurations

It works with any version of OCaml from 3.12.1 to 4.04.0 onwards.

1. tested on linux (Ubuntu 16.04, x86_64),
2. tested on MacOS,
3. on windows, the cross-compilation to native win32 under cygwin works fine
using the mingw64-i686 cross-compiler. It does not work with the x86_64
compiler[^1]. Should also work under windows-bash for windows 10.

[^1]: This is a bug in quantor's `./configure`. When testing the size of a
word, windows uses `unsigned long long` but this option is not
checked (only `unsigned long` and `unsigned`).

## License

The library and its dependencies are licensed under the BSD license
Expand Down