Blame · .gitignore · 32f4d98be332d398f3da61109d9a906ac82f6e91 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

.gitignore 377 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

[build] Optimizations and fixes

Emilio Jesus Gallego Arias committed 2 years ago

/dist-cli

[build] Resurrect ide-project and collab addon

Emilio Jesus Gallego Arias committed 2 years ago

/dist-webpack

[port] [wip] Basic scaffolding for WA integration.

Shachar Itzhaky committed 2 years ago

/bin

[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

15 16 17 18 19 20


# 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

[refactor] [build] Shuffled things around in Makefile.

Shachar Itzhaky committed 3 years ago

# - npm packages
/*.tgz

[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

[refactor] Allow worker to have `.js` extension.

Shachar Itzhaky committed 1 year ago

/backend/jsoo/jscoq_worker.bc.js

[refactor] Normalized worker paths.

Shachar Itzhaky committed 2 years ago

/backend/wasm/wacoq_worker.bc

[refactor] Rearrange wasm deps.

Shachar Itzhaky committed 2 years ago

*.wasm

[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