• Vá em http://nixos.org/nixpkgs/download.html e baixe a versão de desenvolvimento do Nixpkgs (latest development release of Nixpkgs), arquivo source tarball.

• Descompacte o arquivo (no terminal, tar -xvf nome-do-arquivo.tar.bz2)

• Entre no diretório gerado após a extração, dê um ./configure e depois um make

• Como root, execute: make install (sudo make install)

Após esse passo o Nixpkgs já deve estar instalado. O próximo passo é baixar os pacotes do stratego (versão nix) para o Mac OS X (Darwin).

• Vá em www.strategox.org e depois em Downloads

• Procure a opção "Nix Package" e baixe os arquivos aterm, sdf2-bundle e strategoxt (Você será redirecionado para o repositório Nix, coloque para baixar a versão darwin de cada um desses arquivos).

• Após isso, vá no terminal, entre no diretório onde você salvou os arquivos aterm, sdf2-bundle e strategoxt

• Como root, execute o nix-install-package para cada um dos pacotes (Importante, você deve instalar primeiro o aterm, depois o sdf2-bundle e finalmente o strategoxt)

• Após tudo isso feito, abra uma nova janela do terminal e execute "strc --help" para ter certeza de que a instalação do stratego ocorreu sem problemas.

Pronto, você deve ter o Stratego configurado sem problemas agora em seu Mac OS X. Talvez seja interessante baixar os pacotes da linguagem Java (java-front) ou AspectJ (aspectj-front). O processo nesse caso é o mesmo, baixe no site as extensões para Java e AspectJ (nix package) e instale-os utilizando o nix-install-package