diff options
| author | Alasdair | 2019-05-05 16:24:02 +0100 |
|---|---|---|
| committer | Alasdair | 2019-05-05 19:02:05 +0100 |
| commit | 39168f905eb9e671813cfc43309ddae44828123a (patch) | |
| tree | 21d9e5fb2b7758aeed2aea1f6873a22750397477 /src/interactive.ml | |
| parent | aeb4e23aeb12a99568dcc49f0d39ae86c7bd5065 (diff) | |
C: Add option to compile using __int128 rather than GMP
Only requires a very small change to c_backend.ml. Most of this commit
is duplication of the builtins and runtime in lib/int128. But the
actual differences in those files is also fairly minor could be
handled by some simple ifdefs for the integer builtins.
Diffstat (limited to 'src/interactive.ml')
0 files changed, 0 insertions, 0 deletions