Blame · .gitignore · 2eeae0f2a87421d92cb6157ac4ae2f6a37885711 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

.gitignore 357 B

Newer Older

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

# General ignores

Initial version.

Emilio Jesus Gallego Arias committed 9 years ago

*~

[64] Conditional 64-compilation attempt.

Shachar Itzhaky committed 5 years ago

.*.swp

[refactor] The old coq-build is dead!

Shachar Itzhaky committed 4 years ago

.cache
/dist

[64] Conditional 64-compilation attempt.

Shachar Itzhaky committed 5 years ago

[build] Generate .browser.js file using browserify.

Shachar Itzhaky committed 5 years ago

# Local build configuration file

[64] Conditional 64-compilation attempt.

Shachar Itzhaky committed 5 years ago

/config.inc

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago


# Externals

[build] Set up a local switch.

Shachar Itzhaky committed 5 years ago

/_vendor*

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

12 13 14 15 16 17


# Dune stuff
_build
.merlin
*.install

[build] Generate .browser.js file using browserify.

Shachar Itzhaky committed 5 years ago

# Node stuff

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

node_modules

[addon] Sharing content with Hastebin.

Shachar Itzhaky committed 4 years ago

# (webpack, if building in source dir)
ui-js/addon/*.png
*.browser.js
*.js.map

[build] Generate .browser.js file using browserify.

Shachar Itzhaky committed 5 years ago


# Links for in-place serving

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

coq-pkgs

[build] Create link `coq_worker.js`.

Shachar Itzhaky committed 5 years ago

/coq-js/jscoq_worker.js

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

[build] Generate .browser.js file using browserify.

Shachar Itzhaky committed 5 years ago

# Apple stuff

BUGFIX: Log positioning and filtering.

Shachar Itzhaky committed 6 years ago

.DS_Store

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

.AppleDouble