Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

on Cygwin: trying to run any executables in the test directory fails, not finding /dev/random #15

Open
byronka opened this issue Apr 28, 2018 · 1 comment

Comments

@byronka
Copy link

byronka commented Apr 28, 2018

$ ./test-tests.exe
raised ADA.IO_EXCEPTIONS.NAME_ERROR : /dev/random: No such file or directory
$ ls -al /dev/random
crw-rw-rw- 1 byron None 1, 8 Apr 28 00:57 /dev/random

@michael-hardeman
Copy link

/dev/random is a Unix only file. The scenario variable "system" allows you to build a windows version that links to advapi32.dll for random numbers. Try, "gnatmake -p libadacrypt.gpr -Xsystem=windows", setting the scenario varible system in GPS, or modifying the System_Type variable in libadacrypt.gpr.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants