Add the following to your NixOS configuration:
virtualisation.docker.enable = true;
and
sudo nixos-rebuild switch
You may have to restart at this point. Once you have Docker installed and running,
BX3QGIR/hNB3ml7ezFMW4sevkCvGCAo9cWNieg4GPtxr |
Add the following to your NixOS configuration:
virtualisation.docker.enable = true;
and
sudo nixos-rebuild switch
You may have to restart at this point. Once you have Docker installed and running,
There's a lot of conflicting information online about using Haskell, Nix, Stack, Cabal, and Spacemacs together. Here's what has worked and not worked for me.
default.nix
:
{ pkgs ? import <nixpkgs> {} }: pkgs.haskellPackages.callCabal2nix "name" ./. { }
shell.nix
:
with import <nixpkgs> { };
{-# LANGUAGE DeriveFunctor #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE TypeApplications #-} | |
module Continuations where | |
import Control.Monad | |
import Text.Printf |
;;; emojify-org-link.el --- Add the appropriate emoji to org links -*- lexical-binding: t -*- | |
;; Copyright (C) 2018 Langston Barrett | |
;; Author: Langston Barrett <[email protected]> | |
;; URL: https://github.com/siddharthist | |
;; Keywords: emoji, org | |
;; Package-Requires: () | |
;; Version: 0.1 | |
;; This program is free software; you can redistribute it and/or modify |
{-# LANGUAGE AllowAmbiguousTypes #-} | |
{-# LANGUAGE ConstraintKinds #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE IncoherentInstances #-} | |
{-# LANGUAGE InstanceSigs #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE OverlappingInstances #-} | |
{-# LANGUAGE PolyKinds #-} | |
{-# LANGUAGE RankNTypes #-} |
"""Print a program's arguments, environment, and ELF aux vector with GDB | |
Run with: | |
gdb-multiarch -n -q -batch -ex 'source showstack.py' | |
""" | |
from __future__ import print_function | |
import gdb |
# docker build -t gllvm-linux . | |
# docker run --rm --workdir=/work --mount type=bind,src=$PWD,target=/work -it gllvm-linux | |
FROM ubuntu:20.04 | |
# Configuration | |
# Newer versions of Linux require "asm-goto", which isn't in LLVM 8... | |
ENV KERNEL_VERSION=4.14.39 | |
ENV LLVM_VERSION=8 | |
# Static environment |
-------------------------------------------------------------------------------- | |
Profile data file 'test.callgrind.out' (creator: callgrind-3.16.1) | |
-------------------------------------------------------------------------------- | |
I1 cache: | |
D1 cache: | |
LL cache: | |
Timerange: Basic block 0 - 17504446838 | |
Trigger: Program termination | |
Profiled target: ./test (PID 117247, part 1) | |
Events recorded: Ir |
# docker build -t gllvm-linux . | |
# docker run --rm --workdir=/work --mount type=bind,src=$PWD,target=/work -it gllvm-linux | |
FROM ubuntu:21.10 | |
# Configuration | |
ARG LLVM_VERSION=11 | |
ARG KERNEL_MAJOR_VERSION=5 | |
ARG KERNEL_MINOR_VERSION=17 | |
# Environment |