Skip to content

Instantly share code, notes, and snippets.

View mantognini's full-sized avatar

Marco Antognini mantognini

72 followers · 20 following
View GitHub Profile
@mantognini
mantognini / countries.txt
Last active March 12, 2020 11:56
countries
Afghanistan
Albania
Algeria
Andorra
Angola
Antigua & Deps
Argentina
Armenia
Australia
Austria
@mantognini
mantognini / .gitignore
Created October 5, 2012 09:16
SDP : Interfaces Draft
.classpath
.project
bin
@mantognini
mantognini / build_deps
Last active December 10, 2018 23:13
Build ogg, vorbis, vorbisfile, vorbisenc, flac and OpenAL frameworks
#!/usr/bin/env fish
##
## build ogg, vorbis, vorbisfile, vorbisenc and flac frameworks
##
rm -fr build_deps
mkdir -p build_deps
cd build_deps
wget http://downloads.xiph.org/releases/ogg/libogg-1.3.2.tar.xz
@mantognini
mantognini / gcc_build_how_to.txt
Created September 23, 2012 19:48
Build GCC 4.6.3 -- How To
##
## Build GCC 4.6.3 -- How To
## for icvdi.epfl.ch Ubuntu 10.04 VMs
## (without sudo command)
##
## 22.09.2012
## Marco Antognini
##
@mantognini
mantognini / build_package.sh
Last active May 9, 2018 05:49
Packaging script for SFML 2.x & CSFML 2.x
#!/bin/sh
VERSION="2.5.0"
VERSION_C="2.5"
BUILD_CSFML=FALSE
# BUILD_CSFML=TRUE
@mantognini
mantognini / .vimrc
Last active May 9, 2018 05:47
My .vimrc
" .vimrc
" https://gist.github.com/mantognini/7120776
set shell=bash
set nocompatible " be iMproved
filetype off " required!
set rtp+=~/.vim/bundle/Vundle.vim
call vundle#begin()
@mantognini
mantognini / build_head.sh
Last active May 9, 2018 05:34
Create SFML and CSFML 2.x packages for macOS.
#!/bin/sh
###
### Build SFML head for OS X, current OS version only
###
### Author: Marco Antognini <antognini.marco@gmail.com>
### Date: 24/07/2013
###
##
@mantognini
mantognini / readme
Last active May 9, 2018 05:19
Patch for SFML template for Xcode
patch files created with
$ diff -u TemplateInfo.orig.plist TemplateInfo.plist
@mantognini
mantognini / gist:9e4e26ce154869c1a246826f96531517
Created March 4, 2018 16:15
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<!--
SFML - Simple and Fast Multimedia Library
Copyright (C) 2007-2018 Marco Antognini (antognini.marco@gmail.com),
Laurent Gomila (laurent@sfml-dev.org)
This software is provided 'as-is', without any express or implied warranty.
In no event will the authors be held liable for any damages arising from the use of this software.
@mantognini
mantognini / Eval.scala
Created December 15, 2017 12:20
import stainless.lang._
object Eval {
def foo: Int = {
// assert(false)
43
} ensuring { _ + 58 == 100 }
def goo = 1