Skip to content
Permalink
Browse files

remove unused dependency on nums

  • Loading branch information
damiendoligez committed Dec 19, 2019
1 parent f490c8c commit 199cb922402a84b8d9b93893fdf63f16b3fa6137
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/Makefile
@@ -63,7 +63,7 @@ INC0 = -I ../backend -I ../frontend -I ../expr -I ../module -I ../proof \
INC = ${INC0:../%=%}
INC1 = ${INC0} -I ..

LIB_CMA = unix.cma str.cma nums.cma
LIB_CMA = unix.cma str.cma
LIB_CMXA = ${LIB_CMA:.cma=.cmxa}

ML = ${MODULES:=.ml}

0 comments on commit 199cb92

Please sign in to comment.
You can’t perform that action at this time.