cryptol/.gitignore

*\#*
*~
.DS_Store
.cabal-sandbox
cabal.sandbox.config
dist
results.xml
dist-newstyle
.stack-work
.ghc.environment.*
cabal.project.freeze
cabal.project.local*

# don't check in generated documentation
#docs/CryptolPrims.pdf
#docs/ProgrammingCryptol.pdf
#docs/Syntax.pdf
#docs/Version2Changes.pdf

# don't check in distribution files
cryptol-2.*

# temporary notebook stuff until we split out the repo
/ICryptol/ICryptol-2.*
/ICryptol/profile.tar
/ICryptol/profile_cryptol/security/
/ICryptol/profile_cryptol/startup/
/bench*.xml

# ignore test suite output
/bin
/output
/tests/regression/*.out

# WiX-generated files
allfiles.wixobj
allfiles.wxs
cryptol.msi
cryptol.wixobj
cryptol.wixpdb
Initial import from internal repo 2014-04-18 02:34:25 +04:00			`\#`
			`*~`
			`.DS_Store`
			`.cabal-sandbox`
			`cabal.sandbox.config`
			`dist`
			`results.xml`
Ignore stack and cabal new-build build artifacts 2017-05-11 02:57:52 +03:00			`dist-newstyle`
			`.stack-work`
Ignore all .ghc.envi* stuff 2018-12-12 03:16:39 +03:00			`.ghc.environment.*`
Implement GitHub actions (#722) * Builds nightly binary tarballs on Linux, macOS, and Windows * Runs tests on every PR and merge to master * Includes GitHub Actions status in README instead of Travis * Makes the GitRev recompile hack less fragile * Makes the Makefile Cabal v3 compatible * Builds the manual as part of the CI process 2020-05-14 20:50:22 +03:00			`cabal.project.freeze`
			`cabal.project.local*`
Initial import from internal repo 2014-04-18 02:34:25 +04:00
			`# don't check in generated documentation`
temporarily check docs into the repo Getting the right TeX Live and pandoc environments on the build slaves is turning out to be a Big Headache. For now, build docs locally and keep the repo copies up to date. 2014-04-24 06:16:57 +04:00			`#docs/CryptolPrims.pdf`
			`#docs/ProgrammingCryptol.pdf`
			`#docs/Syntax.pdf`
split out notebook into separate package This involved: - Moving a couple REPL modules into the Cryptol library hierarchy (those that don't depend on console libraries) - Splitting up the Makefile, which unfortunately resulted in a lot of not-quite-duplication between the two Makefiles. Let's look into better abstraction... 2015-03-03 02:46:21 +03:00			`#docs/Version2Changes.pdf`
Initial import from internal repo 2014-04-18 02:34:25 +04:00
			`# don't check in distribution files`
split out notebook into separate package This involved: - Moving a couple REPL modules into the Cryptol library hierarchy (those that don't depend on console libraries) - Splitting up the Makefile, which unfortunately resulted in a lot of not-quite-duplication between the two Makefiles. Let's look into better abstraction... 2015-03-03 02:46:21 +03:00			`cryptol-2.*`

			`# temporary notebook stuff until we split out the repo`
			`/ICryptol/ICryptol-2.*`
			`/ICryptol/profile.tar`
			`/ICryptol/profile_cryptol/security/`
			`/ICryptol/profile_cryptol/startup/`
split benchmark XML into separate files This will hopefully yield better scale in the graphs on the Jenkins job 2016-08-09 21:05:30 +03:00			`/bench*.xml`
Update test for new utf-8 error message 2019-02-28 21:04:17 +03:00
			`# ignore test suite output`
			`/bin`
			`/output`
Adds regression test for dumptests. This only checks that a function with signature [32] -> [32] -> [32] will succeed with the :dumptests command. More tests could/should be added. Since this test creates a file called add32.out, I added tests/regression/*.out to the .gitignore. I'm not sure if this is the right approach or if we should make an attempt to clean up this subdirectory after the tests finish. 2020-11-03 00:59:22 +03:00			`/tests/regression/*.out`
Add WiX-generated files to .gitignore 2022-05-23 02:41:28 +03:00
			`# WiX-generated files`
			`allfiles.wixobj`
			`allfiles.wxs`
			`cryptol.msi`
			`cryptol.wixobj`
			`cryptol.wixpdb`