patch: Merge pull request #27 from abdul-jabbar01/master

Updated Circleci configuration

Author: johnholiver

.circleci/config.yml

@@ -11,7 +11,7 @@ jobs:
       - run: go get -u github.com/stevenmatthewt/semantics
       - run:
           name: cross compile
-          command: gox -os="linux darwin windows" -arch="amd64 386" -output="dist/{{.OS}}/{{.Arch}}/pligos"
+          command: CGO_ENABLED=0 gox -os="linux darwin windows" -arch="amd64 386" -output="dist/{{.OS}}/{{.Arch}}/pligos"
 
       - add_ssh_keys
       - run: