Package Details: idris-sdl-git 28.c71dd53-1

Git Clone URL: https://aur.archlinux.org/idris-sdl-git.git (read-only, click to copy)
Package Base: idris-sdl-git
Description: SDL bindings package for Idris.
Upstream URL: https://github.com/edwinb/SDL-idris
Licenses: custom:BSD3
Conflicts: idris-sdl
Provides: idris-sdl
Submitter: pdxleif
Maintainer: pdxleif
Last Packager: pdxleif
Votes: 1
Popularity: 0.000000
First Submitted: 2015-10-06 02:50 (UTC)
Last Updated: 2015-10-06 03:05 (UTC)

Dependencies (2)

Required by (0)

Sources (1)

Latest Comments

a821 commented on 2024-03-13 08:49 (UTC)

Fails to build in a chroot (after fixing sources and adding git to makedepends:

==> Starting build()...
echo "%flag C \"`sdl-config --libs`\"" > Graphics/Config.idr
echo "%flag C \"`sdl-config --cflags`\"" >> Graphics/Config.idr
gcc `idris --include` `sdl-config --cflags`   -c -o sdlrun.o sdlrun.c
sdlrun.c: In function ‘pollEvent’:
sdlrun.c:231:24: warning: passing argument 1 of ‘idris_requireAlloc’ makes pointer from integer without a cast [-Wint-conversion]
  231 |     idris_requireAlloc(128); // Conservative!
      |                        ^~~
      |                        |
      |                        int
In file included from sdlrun.c:5:
/usr/share/idris/rts/idris_rts.h:351:25: note: expected ‘VM *’ but argument is of type ‘int’
  351 | void idris_requireAlloc(VM *, size_t size);
      |                         ^~~~
sdlrun.c:231:5: error: too few arguments to function ‘idris_requireAlloc’
  231 |     idris_requireAlloc(128); // Conservative!
      |     ^~~~~~~~~~~~~~~~~~
/usr/share/idris/rts/idris_rts.h:351:6: note: declared here
  351 | void idris_requireAlloc(VM *, size_t size);
      |      ^~~~~~~~~~~~~~~~~~
sdlrun.c:265:13: error: too few arguments to function ‘idris_doneAlloc’
  265 |             idris_doneAlloc();
      |             ^~~~~~~~~~~~~~~
/usr/share/idris/rts/idris_rts.h:352:6: note: declared here
  352 | void idris_doneAlloc(VM *);
      |      ^~~~~~~~~~~~~~~
sdlrun.c:272:5: error: too few arguments to function ‘idris_doneAlloc’
  272 |     idris_doneAlloc();
      |     ^~~~~~~~~~~~~~~
/usr/share/idris/rts/idris_rts.h:352:6: note: declared here
  352 | void idris_doneAlloc(VM *);
      |      ^~~~~~~~~~~~~~~
make: *** [<builtin>: sdlrun.o] Error 1
Entering directory `./src'
Type checking ./Graphics/Config.idr
Type checking ./Graphics/SDL.idr
 user error (Can't find file sdlrun.o)
==> ERROR: A failure occurred in build().
    Aborting...