Merge pull request #362 from ejgallego/jsrem

[general] Cleanup old unused code.

.github/workflows/ci.yml

@@ -41,9 +41,6 @@ jobs:
         test-target: [test]
         extra-opam: [coq.dev coq-mathcomp-ssreflect.1.dev]
         include:
-        - ocaml-compiler: ocaml-variants.4.12.1+options,ocaml-option-32bit
-          test-target: js-dune
-          extra-opam: coq.dev js_of_ocaml js_of_ocaml-lwt zarith_stubs_js
         - ocaml-compiler: 4.13.1
           test-target: test
           extra-opam:
@@ -105,7 +102,7 @@ jobs:
           git clone --depth=3 -b mathcomp-1 https://github.com/math-comp/math-comp.git
           make -C math-comp/mathcomp/ssreflect
           make -C math-comp/mathcomp/ssreflect install
-      - name: Extra OPAM Setup (Coq, js_of_ocaml)
+      - name: Extra OPAM Setup (Coq.dev, misc extra tools)
         if: ${{ matrix.extra-opam != '' }}
         run: |
           eval $(opam env)
@@ -115,4 +112,3 @@ jobs:
           eval $(opam env)
           make -j "$NJOBS" SERAPI_COQ_HOME="$SERAPI_COQ_HOME" "${{ matrix.test-target }}"
           ls -lR _build/install/default/ || true
-          ls -lR _build/default/sertop/*.js || true

CHANGES.md

@@ -1,3 +1,7 @@
+## unreleased
+
+ - [general] Cleanup old / unused code (@ejgallego, #)
+
 ## Version 0.18.1:
 
  - [serlib] Fix a few 8.18 piercings (!) (@ejgallego, #357)

Makefile

@@ -40,42 +40,6 @@ browser:
 sertop: build
 	dune exec -- rlwrap sertop
 
-#####################################################
-# Javascript support
-
-#####################################################
-# JS
-
-JSDIR=jscoq/coq-libjs
-JSFILES=$(addprefix $(JSDIR)/,mutex.js unix.js str.js coq_vm.js)
-
-JSCOQ_DEBUG=no
-JSOO_OPTS=
-ifeq "${JSCOQ_DEBUG}" "yes"
-JSOO_OPTS+= --pretty --noinline --disable shortvar --debug-info
-endif
-
-js:
-	mkdir -p js
-
-force:
-
-_build/default/sertop/sertop_js.bc: force
-	dune build --profile=release sertop/sertop_js.bc
-
-js/sertop_js.js: js _build/default/sertop/sertop_js.bc
-	js_of_ocaml --dynlink +nat.js +dynlink.js +toplevel.js $(JSOO_OPTS) $(JSFILES) _build/default/sertop/sertop_js.bc -o js/sertop_js.js
-
-# We cannot use the separate compilation mode due to Coq's VM: libcoqrun.a
-js-dune:
-	dune build --profile=release sertop/sertop_js.bc.js
-
-js-dist:
-	rsync -avp --exclude=.git --delete ~/research/jscoq/coq-pkgs/ js/coq-pkgs
-
-js-release:
-	rsync -avp --exclude=*~ --exclude=.git --exclude=README.md --exclude=get-hashes.sh --delete js/ ~/research/jscoq-builds
-
 #####################################################
 # Misc