HomeIsabelle/Phabricator
Diffusion Poly/ML 8d532ab93b8b

Separate out some tests for Windows and Unix. Now require pthread library and…
8d532ab93b8bUnpublished
Actions

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Separate out some tests for Windows and Unix. Now require pthread library and header unless compiling for Windows.

Details

Provenance
dcjmAuthored on Apr 9 2019, 2:02 PM
Parents
rPOLYML586e225c002c: Changes to configure. Only allow enable-compact32bit on native X86/64.
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize

rPOLYML8d532ab93b8b

View Options

configure

Loading...
View Options

configure.ac

Loading...