idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-11 13:36:08 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #3283 from dunhamsteve/fix-windows-ci

Browse Source 
[ fix ] fix windows CI, aligned_alloc not supported on win32
This commit is contained in:
André Videla 2024-05-18 08:21:28 +01:00 committed by GitHub
commit 2a3f0311f2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
support/refc/memoryManagement.c
View File

@ -2,7 +2,8 @@
#include "runtime.h"
Value *idris2_newValue(size_t size) {
#if defined(__STDC_VERSION__) && (__STDC_VERSION__ >= 201112L) /* C11 */
#if !defined(_WIN32) && defined(__STDC_VERSION__) && \
(__STDC_VERSION__ >= 201112) /* C11 */
Value *retVal = (Value *)aligned_alloc(
sizeof(void *),
((size + sizeof(void *) - 1) / sizeof(void *)) * sizeof(void *));