【文件属性】：
文件名称：glfw-idris-st:Idris中GLFW库的绑定
文件大小：31KB
文件格式：ZIP
更新时间：2021-05-02 16:47:04
Idris
格里夫·艾德里斯·斯特
一个新库，为Idris提供GLFW绑定。 与已经存在的使用代数效应的glfw-idris 库相反，该库使用的是ST教程介绍的ST方法。 和Edwin Bradys的论文 。
Idris版本：1.2、1.3
图书馆依存关系
glfw3：用于在相应系统上加载OpenGL函数
建立图书馆
假设您已经安装了Idris，并且安装在您的路径上。
确保您的系统上已安装glfw3，并且可以通过pkg-config找到。 在Linux上，请使用系统的软件包管理器；在Mac OS X上，请使用brew install。
下载/克隆glfw-idris-st。
通过导航到glfw-idris-st文件夹来安装库，并在终端中简单地调用“ make”。
例子
有两个示例，都显示了如何初始化GLFW，创建窗口，初始化GLEW，使用OpenGL将矩形渲染到Window并在5秒钟后关闭。
【文件预览】：
glfw-idris-st-master
----glfw-idris-st.ipkg(277B)
----src()
--------MakefileGlfw(351B)
--------Graphics()
--------glfw_idris_st.h(251B)
--------examples()
--------glfw_idris_st.c(876B)
----LICENSE(34KB)
----README.md(2KB)
----Makefile(86B)
----.gitignore(10B)